simhu/cubical

Implementation of Univalence in Cubical Sets

语言：Haskell · GitHub 星标：145 · Fork：10

在 GitHub 上查看原仓库