来自Agda Wiki

站点：最近的更改

• 提要栏。2022年11月4日上午10:05签字人：
• 页面操作. . . 2020年3月20日下午01:08以利亚ITA：已禁用
• 边栏. . . 2015年8月9日下午10:37语音识别：GitHub中报告了这些问题
• 页面操作. . . 2008年6月4日下午04:50乌尔夫·诺雷尔:
• 身份验证表单. . . 2007年10月17日下午04:04乌尔夫·诺雷尔：添加了密码
• 所有最近的更改. . . 2007年10月16日下午02:31乌尔夫·诺雷尔: