Explore projects

This repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm

Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)

The SMGloM modules for elementary algebra.

LMFDB Knowls exported to sTeX.

Demos for OpenDreamKit WP6

experiments on modelling

Metadata for the MMATh documents and formalizations

A Hello World repository of an sTeX paper.

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

The MMT repository for the LBS course in WS 2018/19

Articles describing the library export