Explore projects

Elementary set theory for the SMGloM

repository for a dummy build target that converts .foo files depending on other .foo files to .bar files

Practice (quiz) problems for the course AI-1/2 provided by Praveen; to be moved to the respective archives later after proof-reading

magic squares and their friends

The upper library ontology for theorem prover libraries.

The IWGS glossary

The Course General ICT at Jacobs University

The homework assignments and exams for the LBS course at FAU (public)

A Semantic Multilingual Glossary for Mathematics.

The language meta-level of SMGloM

OMDoc export of the theories included in the Isabelle distribution