Explore projects

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

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

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

Basic concepts about computers and programming

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

mbgen meta-theory and demo schema theories

experiments on modelling

The slides and course notes of the course Computational Logic at Jacobs University.

This SMGloM repository contains modules specifying manifolds and their properties.

Template repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.