Explore projects

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

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

OMDoc export of the Archive of Formal Proofs

OMDoc export of the theories included in the Isabelle distribution

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

Core formalizations of (elementary) mathematics in MMT

The logical foundation(al theories) used by MitM projects

Repository for the LBS lecture, winter semester 2022/2023

The IWGS Training Problems