search

viperproject / axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
https://viperproject.github.io/axiom-profiler-2/
8 stars 3 forks source link

Proof Steps Graph #42

Closed oskari1 closed 1 month ago

oskari1 commented 1 month ago

Work in progress, displays the proof steps and how they depend on each other.