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

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

• 2015年11月21日 (六) 07:14 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本134327为已巡查
• 2014年12月10日 (三) 13:29 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本128935为已巡查
• 2011年4月14日 (四) 14:37 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本46757为已巡查
• 2011年3月6日 (日) 04:30 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本46019为已巡查
• 2011年3月3日 (四) 15:08 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45981为已巡查
• 2011年2月22日 (二) 07:48 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45792为已巡查
• 2011年2月13日 (日) 05:40 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45576为已巡查
• 2011年2月13日 (日) 05:39 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45575为已巡查
• 2011年2月13日 (日) 05:38 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45574为已巡查
• 2011年2月13日 (日) 05:37 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45573为已巡查
• 2011年2月13日 (日) 04:45 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本45572为已巡查
• 2011年1月6日 (四) 10:21 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44481为已巡查
• 2011年1月5日 (三) 04:03 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44469为已巡查
• 2010年12月31日 (五) 03:39 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44399为已巡查
• 2010年12月31日 (五) 02:47 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44391为已巡查
• 2010年12月31日 (五) 02:46 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44390为已巡查
• 2010年12月31日 (五) 02:23 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44385为已巡查
• 2010年12月31日 (五) 02:22 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44384为已巡查
• 2010年12月31日 (五) 02:13 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44381为已巡查
• 2010年12月22日 (三) 02:39 Allen (讨论 | 贡献)标记页面Huihoo Desktop Team的版本44237为已巡查