Formula
eprover
Theorem prover for full first-order logic with equality
- Version
- 3.2
- License
- GPL-2.0-or-later OR LGPL-2.1-or-later
- Homepage
- https://eprover.org/
- Installs (30 days)
- 13
brew install eproverFormula
Theorem prover for full first-order logic with equality
brew install eprover