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

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

• 2022年2月7日 (一) 00:38 Allen (讨论 | 贡献)标记页面ML的版本160450为已巡查
• 2021年12月30日 (四) 14:47 Allen (讨论 | 贡献)标记页面ML的版本159816为已巡查
• 2021年12月30日 (四) 13:29 Allen (讨论 | 贡献)标记页面ML的版本159814为已巡查
• 2021年12月30日 (四) 13:25 Allen (讨论 | 贡献)标记页面ML的版本159811为已巡查
• 2021年12月30日 (四) 11:18 Allen (讨论 | 贡献)标记页面ML的版本159810为已巡查
• 2021年12月30日 (四) 11:03 Allen (讨论 | 贡献)标记页面ML的版本159809为已巡查
• 2021年12月30日 (四) 10:13 Allen (讨论 | 贡献)标记页面ML的版本159808为已巡查
• 2021年12月29日 (三) 03:49 Allen (讨论 | 贡献)标记页面ML的版本159773为已巡查
• 2021年12月25日 (六) 02:50 Allen (讨论 | 贡献)标记页面ML的版本159646为已巡查
• 2021年12月18日 (六) 10:11 Allen (讨论 | 贡献)标记页面ML的版本159422为已巡查
• 2021年11月21日 (日) 05:20 Allen (讨论 | 贡献)标记页面ML的版本158526为已巡查
• 2016年11月13日 (日) 04:54 Allen (讨论 | 贡献)标记页面ML的版本141756为已巡查
• 2016年9月16日 (五) 02:23 Allen (讨论 | 贡献)标记页面ML的版本140849为已巡查
• 2016年9月16日 (五) 02:18 Allen (讨论 | 贡献)标记页面ML的版本140848为已巡查
• 2016年9月15日 (四) 16:27 Allen (讨论 | 贡献)标记页面ML的版本140843为已巡查