forked from ai4reason/Prover9
-
Notifications
You must be signed in to change notification settings - Fork 0
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
License
proof-theory/Prover9
ErrorLooks like something went wrong!
About
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 81.7%
- HTML 13.5%
- Python 1.7%
- Perl 1.0%
- Makefile 0.8%
- XSLT 0.7%
- Other 0.6%