The materials of the LBS course held in WS 2019/20.
The language meta-level of SMGloM
A SMGloM archive for mathematical Software
The virtual theories of the symmetric objects data collection.
A Semantic Multilingual Glossary for Mathematics.
Elementary set theory for the SMGloM
a study
The SMGloM modules on linear algebra.
An SMGloM Archive for Logic
Popov v. Hayashi as a Context Graph
The SMGloM contributions of Jukka Kohonen.
The public repository for the JLogic law formalization course
The logical foundation(al theories) used by MitM projects
The meta stuff for MDH data
The concepts from the AI lecture at MiKoMH/AI