Explore projects

Elementary set theory for the SMGloM

repository for a dummy build target that converts .foo files depending on other .foo files to .bar files

Core formalizations of (elementary) mathematics in MMT

The homework assignments and exams for the LBS course at FAU (public)

A Semantic Multilingual Glossary for Mathematics.

Demonstrations and Examples for sTeX

Elementary set theory for the SMGloM

Demos for OpenDreamKit WP6