ac83e95353
This package includes Prover9, an automated theorem prover for first-order and equational logic, and Mace4, which searches for finite models and counter examples.
3 lines
163 B
Text
3 lines
163 B
Text
This package includes Prover9, an automated theorem prover
|
|
for first-order and equational logic, and Mace4, which
|
|
searches for finite models and counter examples.
|