/Holide

A translator from OpenTheory to Dedukti

Primary LanguageOCamlOtherNOASSERTION

Stargazers