Explore projects

The Problems for the course General ICT at Jacobs University

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

FormalCAD Project Content

Articles describing the library export

Some foundations of Tannakian Symbols and their relations.

FormalCAD Project Content

Basic concepts about computers and programming

Logic Atlas, Version 2

The SMGloM modules for elementary algebra.

The Metadata for the MMATh formalizations and active documents.

The metadata for the MaMoReD project at MathHub.info

EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.