Explore projects
-
Updated
-
Updated
-
The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
Updated -
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
-
-
Updated
-
-
-
-
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
Updated
-
Updated
-
User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.
Updated -
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
Updated
-
Updated
-
-