Explore projects

The MMT repository for the LBS course in WS 2018/19

temporary home for the EOSC proposal.

The mathematical texts distributed by the Naproche-SAD project.

experiments on modelling

Metadata for the MMATh documents and formalizations

library wrapper for http://www.cs.miami.edu/~tptp/TPTP/Distribution/

meta info for PVS

The meta information of the OEIS at MathHub.info

Meta Information and documetation for the Mizar libary at MathHub.info

A MMT counterpart to the elementary math in SMGloM

The SMGloM modules for elementary algebra.

The SMGloM modules for elementary algebra.