AlphaUncommon
vprover/vampire
The Vampire Theorem Prover
- Owner
- vprover (organization)
- Stars
- Stars: 444
- Forks
- Forks: 84
- Language
- C++
- License
- None
- Created
- 2014
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in C++
All C++ repos- dariulone/cyberpunk-vr-portStars: 444C++Alpha
- geekyraghav/Earners_Cpp_1Stars: 444C++Alpha
- nmatt0/moriaStars: 444C++Alpha
- psi-im/psiStars: 444C++Alpha
- windytan/redseaStars: 444C++Alpha
- gadomski/cpdStars: 444C++Alpha