A universe reconstruction tool based on Dedukti and the encoding of CiC in Dedukti
Primary LanguageOCaml