Explore projects

This repository contains libraries that are meant as "general purpose programming" libraries

Testing for Carsten Knoll

The SMGloM modules for geometry

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