由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

homotopy-type-theory

话题找到数量

rzk-lang/rzk

Haskell

基于合成 ∞ 范畴类型论的实验证明助手。

category-theory haskell homotopy-type-theory
rzk-lang
rzk-lang 开发者
304
33
371
+6
排名 #4
10月4日
查看详情
助手