Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Issues
#119
Add Searchfilter for Axiomtype
Allow the user to filter axiom types (e.g. assertional axioms, etc) in the possibly faulty formulas.