Explore projects
-
a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
Updated -
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
The homework assignments and exams for the LBS course at FAU (public)
Updated -
Updated
-
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 2.0 GenericUpdated