Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
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
-
-
-
Updated