Popular repositories

1. vampire vampire Public

   The Vampire Theorem Prover

   C++ 262 46

2. ase17tutorial ase17tutorial Public

   OpenEdge ABL 4 3

3. vampire_publications vampire_publications Public

   Repository used by Vampire team to store experimental results

   SMT 1

4. inductive_benchmarks inductive_benchmarks Public

   Haskell 1 2

5. 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++ 1

6. vprover.github.io vprover.github.io Public

   HTML 4