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

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

• 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为已巡查