Explore projects

The problems of the course Advanced Computer Science at Jacobs University.

temporary home for the EOSC proposal.

Sources included with the FoCaLiZe distribution

Graph Theory Modules in SMGloM

The meta information for the MathHub data collection on highly symmetric objects

Software zur Visualisierung von CRIS-Inhalten

Number Theoretic Identities

Flexiformalization of Concepts from Epistemology and Metaphysics - The Philosophy of Science

The glossary entries Chevahir did. May be useful at some point.

The problems for the course Text and Digital Media at Jacobs University

Basic concepts about computers and programming

mbgen meta-theory and demo schema theories

experiments on modelling