issues
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
#54
Open
oskari1
opened
3 months ago
oskari1
commented
3 months ago
Replaces #43
Replaces #43