A translator from OpenTheory to Dedukti
Primary LanguageOCamlOtherNOASSERTION
No issues in this repository yet.