rzk-lang/rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

语言：Haskell · GitHub 星标：312 · Fork：31

话题：category-theory · haskell · homotopy-type-theory · proof-assistant

在 GitHub 上查看原仓库