prover9
Automated theorem prover for first-order and equational logic
Prover9 and Mace4 Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 2009.11a-r2 | 1 | 13 h | details › |
Versions & arches
Use flags of 2009.11a-r2
- examples Install examples, usually source code