Explore projects
-
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
-
-
The slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
-
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
-
-