Explore projects

temporary home for the EOSC proposal.

The mathematical texts distributed by the Naproche-SAD project.

library wrapper for http://www.cs.miami.edu/~tptp/TPTP/Distribution/

The meta information of the OEIS at MathHub.info

Meta Information and documetation for the Mizar libary at MathHub.info

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.