Library | MathHub

This Library contains various paradigmatic "Hello World" Examples for MathHub

Isabelle is a generic proof assistant. This archive contains the Isabelle Library and the Archive of Formal Proof

Core libraries built and maintained by the MMT group

The Math-in-the-Middle Ontology is a curated theory-graph representation of mathematical knowledge that serves as an integrating ontology for mathematical software systems and services.

MitMCopied to clipboard

The archives of the OpenDreamKit EU Project, see http://opendreamkit.org

ODKCopied to clipboard

Tutorials for MMT

TutorialsCopied to clipboard

The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a classical glossary and a math dictionary.

smglomCopied to clipboard