图书馆和其他发展

本页列出了一些Agda库和用Agda编写的其他开发。强烈鼓励所有Agda用户添加他们自己的开发,包括支持报告/幻灯片/文档,以供社区使用。您还可以创建一个单独的wiki页面来描述开发。

库,即打算重用的代码

如果这里列出的所有库都有自由软件许可证.

Agda代码托管

其他发展

一些使用Agda的文件还附带源代码。

页面上次修改时间:2022年11月3日下午12:49
技术支持私人维基