agda

话题找到数量

agda/agda

Haskell

Agda是一种依赖类型编程语言/交互式定理证明器。

agda dependent-types programming-language
agda
agda 开发者
2.8k
410
203
+1
排名 #7
4月8日
查看详情
助手