Name: Prover9 mace4
File size: 132mb
File format: AVI
You can download prover9 mace4 on the site oandrbuilding.com
Prover9 is the successor of the Otter theorem prover. The key distinction between "clauses" and "formulas" completely disappeared; "formulas" can now have free variables; and "clauses" are now a subset of "formulas". Prover9 is free software , and therefore, open source software ; it is released under GPL version 2 or later.