/cubiq

Homotopy Type System Implementation

Primary LanguageRustGNU General Public License v2.0GPL-2.0

eru

Implementation of Homotopy Type System