(Fork for experimental purposes) A tool for proving and organizing general theorems using Python.
Primary LanguageJupyter NotebookOtherNOASSERTION
No issues in this repository yet.