Vampire First-Order Theorem Prover

Popular repositories Loading

1. vampire vampire Public

   The Vampire Theorem Prover

   C++ 442 84

2. ase17tutorial ase17tutorial Public

   OpenEdge ABL 6 3

3. rapid rapid Public

   RAPID is a software verification tool that translates programs and their safety properties into first-order-encodings of correctness in SMTLIB syntax. The first-order based encodings are passed to …

   C++ 2

4. vampire-hammer vampire-hammer Public

   Lean 2

5. vampire_publications vampire_publications Public

   Repository used by Vampire team to store experimental results

   SMT 1

6. inductive_benchmarks inductive_benchmarks Public

   Haskell 1 1