Explore projects

sub-library of OEIS for testing

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

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

Interface theories -- construction site --

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

Modal logic problems collected at University Potsdam.

Intuitionistic problems collected at University Potsdam.

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

The repository for the MWS-based, text and formula, search system for OEIS

The SMGloM modules for topology