RISC JKU

The Theorema System

Version Info & History

September 13 2022 18:15v2.0.0-205
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.