documentation for SMGloM project

The slides and course notes of the course Computational Logic at Jacobs University.

Elementary set theory for the SMGloM

The SMGloM modules for elementary algebra.

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

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 of the course General Computer Science at Jacobs University.

The slides and course notes of the course Computational NL Semantics at Jacobs University.

A MMT counterpart to the elementary math in SMGloM

Examples for Grammatical Logical Framework (GLF)

Basic concepts about computers and programming

The metadata for the MiKoMH project at MathHub.info

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

version 2 of the LATIN atlas

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

Slides and notes for talks held by Michael Kohlhase

The SMGloM modules for calculus