Verified record · from the answer index
eprover
clitested · static-verifiedscore 18/100signed passport ✓6 monthly downloads
Theorem prover for full first-order logic with equality
cli:brew:eprover
Verified record · from the answer index
Theorem prover for full first-order logic with equality
cli:brew:eprover