An experimental toolkit of metamath based on mmj2
Primary LanguageClojureGNU General Public License v2.0GPL-2.0