RISC JKU

The Theorema System

Version Info & History

December 23 2019 14:17v2.0.0-194
June 2014Theorema 2.0
1998 – 2010Theorema 1.x

A System for Computer Supported Mathematical Theorem Proving and Theory Exploration

Theorema Download

If you only want to use Theorema then just download the Theorema package (Mathematica code). Note however, that you cannot contribute changes to the project if you only have the Mathematica package.

If instead you want to contribute to the project, please use the Git repository.


Maintained by Webmaster.
© Research Institute for Symbolic Computation.