Skip to content

aurealab/vampire

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6,070 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

About

The Vampire Theorem Prover

Stars

Watchers

Forks

Packages

 
 
 

Contributors

Languages

  • C++ 88.6%
  • Python 3.0%
  • C# 2.1%
  • Java 1.8%
  • C 1.7%
  • HTML 1.0%
  • Other 1.8%