Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
Updated -
Updated
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Updated -
-
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated -
-
-
-
-
-
-
-
Updated
-
Updated
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
Updated -