Explore projects
-
-
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