Explore projects
-
Updated
-
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
Updated -
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
Updated
-
-
-
-
-
Updated
-
-
Updated
-
Updated
-
SvenWille / Sven Master
OtherUpdated -
Updated
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
Updated
-
Updated
-