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

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

• 2022年10月16日 (日) 14:35 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166178为已巡查
• 2022年10月16日 (日) 14:20 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166176为已巡查
• 2022年10月16日 (日) 07:04 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166165为已巡查
• 2022年10月16日 (日) 05:07 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166161为已巡查
• 2022年10月16日 (日) 05:05 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166160为已巡查
• 2022年10月15日 (六) 08:15 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166143为已巡查
• 2022年10月15日 (六) 05:45 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166139为已巡查
• 2022年10月15日 (六) 05:42 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166138为已巡查
• 2022年10月15日 (六) 05:35 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166137为已巡查
• 2022年10月15日 (六) 00:58 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166127为已巡查
• 2022年10月14日 (五) 06:07 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166104为已巡查
• 2022年10月13日 (四) 02:52 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166092为已巡查
• 2022年10月13日 (四) 00:56 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166089为已巡查
• 2022年10月13日 (四) 00:48 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166088为已巡查
• 2022年10月12日 (三) 15:13 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166087为已巡查
• 2022年10月12日 (三) 15:03 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166085为已巡查
• 2022年10月12日 (三) 11:22 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166084为已巡查
• 2022年10月12日 (三) 09:52 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166081为已巡查
• 2022年10月12日 (三) 09:46 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166080为已巡查
• 2022年10月12日 (三) 09:43 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166079为已巡查
• 2022年10月12日 (三) 09:19 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166078为已巡查
• 2022年10月12日 (三) 09:05 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166077为已巡查
• 2022年10月10日 (一) 10:15 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166056为已巡查
• 2022年10月10日 (一) 10:13 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166055为已巡查
• 2022年10月10日 (一) 10:01 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166054为已巡查
• 2022年10月10日 (一) 08:46 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166052为已巡查
• 2022年10月10日 (一) 07:27 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166051为已巡查
• 2022年10月10日 (一) 07:24 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166050为已巡查
• 2022年10月10日 (一) 07:23 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166049为已巡查
• 2022年10月10日 (一) 07:17 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166048为已巡查
• 2022年10月10日 (一) 07:04 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166047为已巡查
• 2022年10月9日 (日) 05:46 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166008为已巡查
• 2022年10月9日 (日) 05:45 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166007为已巡查
• 2022年10月9日 (日) 05:44 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166006为已巡查
• 2022年10月9日 (日) 04:47 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166000为已巡查
• 2022年10月7日 (五) 11:49 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165976为已巡查
• 2022年10月7日 (五) 09:38 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165975为已巡查
• 2022年10月7日 (五) 09:16 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165972为已巡查
• 2022年10月7日 (五) 09:15 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165971为已巡查
• 2022年10月7日 (五) 09:09 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165968为已巡查
• 2022年10月7日 (五) 09:09 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165967为已巡查
• 2022年10月7日 (五) 06:13 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165961为已巡查
• 2022年10月7日 (五) 06:02 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165959为已巡查
• 2022年10月7日 (五) 05:22 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165958为已巡查
• 2022年10月7日 (五) 04:47 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165952为已巡查
• 2022年10月7日 (五) 04:04 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165947为已巡查
• 2022年10月7日 (五) 03:40 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165946为已巡查
• 2022年10月7日 (五) 03:37 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165945为已巡查
• 2022年10月7日 (五) 03:37 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165944为已巡查
• 2022年10月7日 (五) 03:35 Allen (讨论 | 贡献)标记页面Formal mathematics的版本165942为已巡查