Explore projects

The Metadata for the MMATh formalizations and active documents.

Problems for the IWGS course at FAU

Testing for Carsten Knoll

Examples for Grammatical Logical Framework (GLF)

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-theories for the schema theories for MathHub data collections