mortberg/cubicaltt

Experimental implementation of Cubical Type Theory

语言：Haskell · GitHub 星标：609 · Fork：76

话题：cubical-type-theory · homotopy-type-theory · type-theory · univalent-foundations

在 GitHub 上查看原仓库