Explore projects

OMDoc/MMT Tutorial for Mathematicians

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

The Course General ICT at Jacobs University

The slides and course notes for the course Text and Digital Media at Jacobs University

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

a study

library wrapper for http://www.cs.miami.edu/~tptp/TPTP/Distribution/

sub-library of OEIS for testing