gleiss/saturation-visualization

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

TypeScript