(Fork for experimental purposes) A tool for proving and organizing general theorems using Python.
Primary LanguageJupyter NotebookOtherNOASSERTION