Prover9 mace4 download

Prover9 mace4

Name: Prover9 mace4

File size: 132mb

Upload: 10.9.2018

Language: English

Rating: 8/10

File format: AVI



You can download prover9 mace4 on the site

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.