/makemath

A Python representation of MetaMath theorems and proofs

Primary LanguageObjective-C++

Watchers