RISC RISC Research Institute for Symbolic Computation  

The Theorema System

Version Info & History

July 5 2017 10:42v2.0.0-173
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.