Explore projects

This SMGloM repository contains modules specifying manifolds and their properties.

Subglossary of primes in SMGloM

A SMGloM archive for mathematical Software

Number Theory

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

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

The problems for the course Computational Logic at Jacobs University

Demonstrations and Examples for sTeX