Explore projects

The homework assignments and exams for the LBS course at FAU (public)

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

temporary home for the EOSC proposal.

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

LMFDB Knowls exported to sTeX.

OMDoc/MMT Tutorial for Mathematicians

The course materials for the Lecture Logic Based Language Processing at FAU

The problems for the lecture Logic Based Language Processing at FAU