Vampire

https://github.com/vprover/vampire

Vampire is an advanced automated reasoning tool and theorem prover that solves first-order logic...

Tokens:15,999
Snippets:233
Trust Score:8.5
License:BSD-3-Clause
Update:2 months ago
Tokens:
Raw