Explore projects

a study

KRMT SS2017

Shabbar Raza's code for finding alignments based on matching names.

Active documents with models

The metadata for the MaMoReD project at MathHub.info

General Tests (Views, Structures, etc.)

The library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/

EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.

OMDoc export of the Archive of Formal Proofs

OMDoc export of the theories included in the Isabelle distribution

This repository contains the MMT-translation of the SoftwareFoundations book.

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