gleiss

saturation-visualization

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

rapid

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

scripts_fol

server-vampire

A simple Python-server which wraps around Vampire.

solarsteuerung

vampire_benchmarks

vprover.github.io

vscode-rapid

VS Code Extension for writing Rapid specifications