Explore projects

The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)

This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.

The meta stuff for MDH data

Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"

Examples for Grammatical Logical Framework (GLF)

Claudio's Code and potentially other things.

The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection

The virtual theories of the symmetric objects data collection.

The meta information for the MathHub data collection on highly symmetric objects