Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
webprotege_debugger
Issues
#21
Build an axioms representation manager in frontend for communication of debugger views
A Project singleton DebuggerResultManager are needed