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/
15 stars 3 forks source link

Proof Steps Graph #43

Closed oskari1 closed 3 months ago

oskari1 commented 4 months ago

More elegant version of #42

JonasAlaif commented 4 months ago

See https://github.com/viperproject/axiom-profiler-2/pull/47 and https://github.com/viperproject/axiom-profiler-2/pull/48 when rebasing