欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2017年9月16日 (六) 03:48 Allen (讨论 | 贡献)标记页面Gougou的版本146410为已巡查
• 2017年9月16日 (六) 03:33 Allen (讨论 | 贡献)标记页面Gougou的版本146409为已巡查
• 2017年9月16日 (六) 03:29 Allen (讨论 | 贡献)标记页面Gougou的版本146408为已巡查
• 2017年9月14日 (四) 17:25 Allen (讨论 | 贡献)标记页面Gougou的版本146381为已巡查
• 2017年8月29日 (二) 04:56 Allen (讨论 | 贡献)标记页面Gougou的版本146075为已巡查
• 2017年8月26日 (六) 04:11 Allen (讨论 | 贡献)标记页面Gougou的版本146016为已巡查
• 2017年8月23日 (三) 03:26 Allen (讨论 | 贡献)标记页面Gougou的版本145907为已巡查
• 2017年8月23日 (三) 03:04 Allen (讨论 | 贡献)标记页面Gougou的版本145906为已巡查
• 2017年8月23日 (三) 02:37 Allen (讨论 | 贡献)标记页面Gougou的版本145901为已巡查
• 2017年8月23日 (三) 02:18 Allen (讨论 | 贡献)标记页面Gougou的版本145900为已巡查
• 2017年8月23日 (三) 02:05 Allen (讨论 | 贡献)标记页面Gougou的版本145899为已巡查
• 2017年8月23日 (三) 02:04 Allen (讨论 | 贡献)标记页面Gougou的版本145898为已巡查
• 2017年8月22日 (二) 15:58 Allen (讨论 | 贡献)标记页面Gougou的版本145890为已巡查
• 2017年8月22日 (二) 10:49 Allen (讨论 | 贡献)标记页面Gougou的版本145887为已巡查
• 2017年8月22日 (二) 04:01 Allen (讨论 | 贡献)标记页面Gougou的版本145881为已巡查
• 2017年8月22日 (二) 01:29 Allen (讨论 | 贡献)标记页面Gougou的版本145877为已巡查
• 2017年7月31日 (一) 17:20 Allen (讨论 | 贡献)标记页面Gougou的版本145244为已巡查
• 2017年5月28日 (日) 07:34 Allen (讨论 | 贡献)标记页面Gougou的版本143900为已巡查
• 2017年5月24日 (三) 12:41 Allen (讨论 | 贡献)标记页面Gougou的版本143880为已巡查
• 2017年5月24日 (三) 12:32 Allen (讨论 | 贡献)标记页面Gougou的版本143879为已巡查
• 2016年10月25日 (二) 14:12 Allen (讨论 | 贡献)标记页面Gougou的版本141535为已巡查
• 2016年10月25日 (二) 08:26 Allen (讨论 | 贡献)标记页面Gougou的版本141524为已巡查
• 2016年10月25日 (二) 07:30 Allen (讨论 | 贡献)标记页面Gougou的版本141516为已巡查
• 2016年10月20日 (四) 23:47 Allen (讨论 | 贡献)标记页面Gougou的版本141378为已巡查
• 2016年10月19日 (三) 12:38 Allen (讨论 | 贡献)标记页面Gougou的版本141367为已巡查
• 2016年10月13日 (四) 02:44 Allen (讨论 | 贡献)标记页面Gougou的版本141312为已巡查
• 2016年10月13日 (四) 02:43 Allen (讨论 | 贡献)标记页面Gougou的版本141311为已巡查
• 2016年10月13日 (四) 02:42 Allen (讨论 | 贡献)标记页面Gougou的版本141310为已巡查
• 2016年10月13日 (四) 01:43 Allen (讨论 | 贡献)标记页面Gougou的版本141306为已巡查
• 2016年9月29日 (四) 10:07 Allen (讨论 | 贡献)标记页面Gougou的版本141110为已巡查
• 2016年9月29日 (四) 10:07 Allen (讨论 | 贡献)标记页面Gougou的版本141109为已巡查
• 2016年9月29日 (四) 10:05 Allen (讨论 | 贡献)标记页面Gougou的版本141108为已巡查
• 2016年9月29日 (四) 09:26 Allen (讨论 | 贡献)标记页面Gougou的版本141105为已巡查
• 2016年9月29日 (四) 09:25 Allen (讨论 | 贡献)标记页面Gougou的版本141103为已巡查
• 2016年9月29日 (四) 09:24 Allen (讨论 | 贡献)标记页面Gougou的版本141102为已巡查