Explore projects

The slides and course notes of the course General Computer Science at Jacobs University.

Logic Atlas, Version 2

The Metadata for the MMATh formalizations and active documents.

The upper library ontology for theorem prover libraries.

Shabbar Raza's code for finding alignments based on matching names.