← all formulas
eprover
Theorem prover for full first-order logic with equality
- Version
- v3.2
- License
- GPL-2.0-or-later OR LGPL-2.1-or-later
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install eprover