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

Want to Contribute?

Theorema source code is available as a Git repository at GitHub. Use this repository if you want to contribute changes to the project (e.g. extensions, translations, or bug fixes). More ...

If you only want to use Theorema then you better download just the Theorema package (Mathematica code). This is probably easier to handle than the Git repository.


Maintained by Webmaster.
© Research Institute for Symbolic Computation.