vprover / vampire

The Vampire Theorem Prover
332Updated this week

Alternatives and similar repositories for vampire:

Users that are interested in vampire are comparing it to the libraries listed below