Skip to content
GitLab
Explore
Sign in
KWARC
thesis-projects
Issues
#25
Intellij support for MMT-jupyter-notebooks
See
https://github.com/UniFormal/IntelliJ-MMT/issues/28