A simple repackaging of the E automated theorem prover for ease of installation and execution from python
Primary LanguageShell