Skip to content

Mathesis

Contributing

Initializing search

digitalformallogic/mathesis

Mathesis

digitalformallogic/mathesis

Welcome to Mathesis
Get Started
Get Started
- Installation
- Use with JupyterLab/Jupyer Notebook
Usage
Usage
Contributing
Alternatives

Contributing¶

Contributions are welcome. Open an issue or submit a pull request on GitHub digitalformallogic/mathesis.

Automated Reasoning

Made with Material for MkDocs