vampire

v 2024-05-31 Updated: 6 days, 19 hours ago

Vampire Theorem Prover

High performance automated theorem prover.

https://github.com/vprover/vampire

To install vampire, paste this in macOS terminal after installing MacPorts

sudo port install vampire

Add to my watchlist

Installations 2
Requested Installations 2