vampire

v 4.9 Updated: 1 year ago

Vampire Theorem Prover

High performance automated theorem prover.

https://github.com/vprover/vampire

To install vampire, paste this into the macOS Terminal after installing MacPorts

sudo port install vampire

Add to my watchlist

Installations 1
Requested Installations 1