Verified record · from the answer index
prover9
clitested · static-verifiedscore 18/100signed passport ✓5 monthly downloads
Automated theorem prover for first-order and equational logic
cli:brew:prover9
Verified record · from the answer index
Automated theorem prover for first-order and equational logic
cli:brew:prover9