gentoo.mahdi.cz
sci-mathematics
:vampire
The Vampire Prover, theorem prover for first-order logic
vampire-4.8
BSD
download
~amd64 ~x86
gentoo