The Theorema System
Theorema: A System for Computer Supported Mathematical Theorem Proving and Theory Exploration
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
© Research Institute for Symbolic Computation.