The Theorema System
Theorema: A System for Computer Supported Mathematical Theorem Proving and Theory Exploration
Theorema 2.0
Theorema is currently being re-implemented, and it will be available
soon
as source code under GPL license.
Information about the predecessor versions Theorema 1.x can be
found here.
Maintained by
Webmaster.
© Research Institute for Symbolic Computation.