agda

共找到 1 个相关项目

agda/agda

Haskell

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

agda dependent-types programming-language
agda
agda 开发者
2.8k
399
99
排名 #7
2月13日
查看详情
助手