Verified record · from the answer index

vampire

clitested · static-verifiedscore 23/100signed passport ✓14 monthly downloads

High-performance theorem prover

cli:brew:vampire · published by vprover · source repository