Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Issues
#128
Replace font of reset button for axioms in repair interface
Replace the R with a unicode character that matches symbolic reset e.g. ↺