Explore projects

Sources included with the FoCaLiZe distribution

Tom's guided research project

The logical foundation(al theories) used by MitM projects

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

INFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology

meta info for PVS

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/