The public repository for the JLogic law formalization course

simple logic exercises for the interactive prover

just a backup of the jedit extension for my masterproject/masterthesis

documentation for SMGloM project

The Metadata for the MMATh formalizations and active documents.

Metadata for the MMATh documents and formalizations

LMFDB Knowls exported to sTeX.

Demos for OpenDreamKit WP6

The SMGloM modules for elementary algebra.

A MMT counterpart to the elementary math in SMGloM

A Semantic Multilingual Glossary for Mathematics.