Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/vampire
The Vampire Prover, theorem prover for first-order logic
Screenshots
https://vprover.github.io/
https://github.com/vprover/vampire/
vampire-4.8
~amd64 ~x86
debug +z3
View
Download
Browse
License: BSD
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
View
Download
Browse