Explore projects
-
A Semantic Multilingual Glossary for Mathematics.
Archived 0Updated -
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
The slides and course notes of the course Computational NL Semantics.
Updated -
-
The slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
-
This export of the MML is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.
Archived 0Updated -
Updated
-
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
Updated
-
Updated
-
-
-
-
-
-
-
Updated