/knuckledragger

Semi-Automated Python Proof Assistant

Primary LanguagePythonMIT LicenseMIT

Stargazers