Explore projects

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

The SMGloM modules for elementary algebra.

The problems for the lecture Logic Based Language Processing at FAU

The metadata for the KwarcMH project at MathHub.info

LMFDB Knowls exported to sTeX.

An example for the MathHub Worker

This repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm