GitHub - aurealab/vampire: The Vampire Theorem Prover · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 6,070 Commits
.ctags.d		.ctags.d
.github/workflows		.github/workflows
Source code		Source code
.clang-format		.clang-format
.gitignore		.gitignore
.gitmodules		.gitmodules
vampire		vampire

About

The Vampire Theorem Prover

vprover.github.io/

Report repository

Releases

Packages

Contributors

Languages

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