文件名称：agda:Agda 是一种依赖类型的编程语言交互式定理证明器
文件大小：7.91MB
文件格式：ZIP
更新时间：2024-08-12 12:03:09
programming-language dependent-types proof-assistant type-theory agda
阿格达2 请注意，此 README 仅关于 Agda，而不是其标准库。 有关该库的，请参阅 。 文档 （每个提交的 pdf 可以从页面下载） 入门 安装 编辑、类型检查和编译 Agda 代码的快速指南 为 Agda 做贡献 贡献方法： HACKING Haskell 风格指南