Explore projects
-
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated -
-
-
-
Updated
-
Updated
-
The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.
Archived 0Updated -
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
Archived 0Updated -
-
Updated
-
Updated
-
a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
Updated -
-
-
scucoco / math
Apache License 2.0Updated -
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 -