A simple repackaging of the Vampire automated theorem prover
Primary LanguageShell
No issues in this repository yet.