JonasHoefer/poset-type-theory

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets

语言：Haskell · GitHub 星标：13 · Fork：2

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

在 GitHub 上查看原仓库