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