← all formulas
prover9
Automated theorem prover for first-order and equational logic
- Version
- v2009-11A
- License
- GPL-2.0-only
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install prover9