Geeks
Columpio
/
vampire
The Vampire Theorem Prover
Primary Language
C++
Other
NOASSERTION
vampire Home Page
vampire GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
GitHub30
Osaka, Japan