GitLab

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.

Logic Atlas, Version 2

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

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

The slides and course notes of the course General Computer Science at Jacobs University.

Slides and notes for talks held by Michael Kohlhase

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

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

General Metadata that apply to all MathHub content.

Elementary set theory for the SMGloM

An SMGloM Archive for Logic

Foundations of Units and Quantities.

The IWGS glossary

A SMGloM archive for mathematical Software

The SMGloM modules for elementary algebra.

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 name of this repository is temporary and will be changed to MML soon.

The SMGloM modules for topology