The Theorema System |
Version Info & History
|
|||||||
A System for Computer Supported Mathematical Theorem Proving and Theory ExplorationWant 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. |