Explore projects
-
-
-
Updated
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Updated -
Updated
-
The slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
Updated -
-
Updated
-
Updated
-
Updated
-
-
-
-
This export of the MML is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.
Archived 0Updated -
Updated