Giters

ai4reason / Prover9

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

Home Page:http://www.cs.unm.edu/~mccune/prover9/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ai4reason/Prover9 Stargazers