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/
8
stars
3
forks
source link
Sanitize names for html
#60
Closed
JonasAlaif
closed
4 days ago
JonasAlaif
commented
1 week ago
Fixes #57
Fixes #57