Explore projects

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

The staging ground for Theresa's SMGloM contributions

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

sub-library of OEIS for testing

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

special numbers in SMGloM

thesis docs