/pyprover

Python-based theorem prover

Primary LanguagePython

Stargazers