Mac
Mac
Windows
Log in / Sign up
Mac
›
Tags
›
equational
Featured
Equational
Software
Prover9-Mace4-v05B
free
1
mccune
Prover9 is an automated theorem prover for first-order and equational logic...
for first-order and
equational
logic, and Mace4 searches
Tags
Finite
Logic
Mace4
Prover
Theorem