GitLab

The Course General ICT at Jacobs University

The IWGS glossary

FormalCAD Project Content

An SMGloM Archive for Logic

A SMGloM archive for mathematical Software

Some foundations of Tannakian Symbols and their relations.

Elementary set theory for the SMGloM

Elementary physics

The SMGloM contributions of Jukka Kohonen.

Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.

The metadata for the MiKoMH project at MathHub.info

Paradigmatic examples of MMT content. They are used for development and regression testing.

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.