Explore projects

the standard library

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.)