Explore projects

A MMT counterpart to the elementary math in SMGloM

The SMGloM modules for elementary algebra.

documentation for SMGloM project

The main (public) parts of the Specware library.

testing blob encoding

sub-library of OEIS for testing

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.