Pinned Loading

1. rapid rapid Public

   Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

   C++ 3 6

2. saturation-visualization saturation-visualization Public

   A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.

   TypeScript 6 3

3. server-vampire server-vampire Public

   A simple Python-server which wraps around Vampire.

   Python 3

4. vprover/vampire vprover/vampire Public

   The Vampire Theorem Prover

   C++ 308 53