A MMT counterpart to the elementary math in SMGloM

The SMGloM modules on linear algebra.

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

The Course General ICT at Jacobs University

Terminology in Computer Science

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

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

The SMGloM modules for calculus

documentation for SMGloM project

Articles describing the library export

OMDoc export of the Archive of Formal Proofs

OMDoc export of the theories included in the Isabelle distribution

LMFDB Knowls exported to sTeX.

The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.

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