Explore projects
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
Updated
-
Template repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)
Updated -
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
scucoco / math
Apache License 2.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 -
-
Updated