Agda Wiki
变化
·
(集团)
·
查看
编辑
历史
打印
主要
/
\
主要
发行说明
有关新版本的发行说明,请访问
黑客攻击
版本2.3.2.2
2.3.2.1版
2.3.2版
版本2.3.0
2.2.10版
2.2.8版
2.2.6版
2.2.4版
版本2.2.2
2.1.2版
版本2.1.0
2.0.0版
(
版本策略
解释了版本号。)
阿格达
主要
下载
发行说明
入门
用户手册
教程
图书馆
如何
出版物
社区
Agda会议
报告Bug
最近的更改
PmWiki帮助
编辑提要栏
编辑
|
历史
|
最近的更改
(全部)
|
搜索
页面上次修改时间:2016年6月21日下午03:08
技术支持
私人维基