GitHub repository: Deducteam/universo
Primary language: TeX
Description: A universe reconstruction tool based on Dedukti and the encoding of CiC in Dedukti