theoremprover-museum / prover9

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Geek Repo

Github PK Tool

prover9

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

About

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Languages

Language:C 69.5%Language:HTML 26.3%Language:Perl 0.9%Language:Python 0.9%Language:Makefile 0.7%Language:XSLT 0.6%Language:Groff 0.4%Language:C++ 0.2%Language:Objective-C 0.2%Language:CSS 0.1%Language:TeX 0.1%Language:Shell 0.0%Language:OpenEdge ABL 0.0%