GitLab

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

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

The slides and course notes of the course Computational Logic.

FormalCAD Project Content

An SMGloM Archive for Logic

Graph Theory Modules in SMGloM

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

The SMGloM modules for calculus

Foundations of Units and Quantities.

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.

just a backup of the jedit extension for my masterproject/masterthesis

The SMGloM contributions of Gabriel Cunningham.

Elementary physics