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

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

• 2022年8月18日 (四) 13:31 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本165249为已巡查
• 2022年8月18日 (四) 13:31 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本165248为已巡查
• 2022年8月18日 (四) 13:30 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本165247为已巡查
• 2022年8月18日 (四) 07:17 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本165244为已巡查
• 2022年8月17日 (三) 11:02 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本165221为已巡查
• 2022年7月31日 (日) 00:22 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164995为已巡查
• 2022年7月24日 (日) 04:54 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164940为已巡查
• 2022年7月23日 (六) 15:36 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164935为已巡查
• 2022年7月23日 (六) 15:28 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164934为已巡查
• 2022年6月26日 (日) 09:33 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164753为已巡查
• 2022年6月26日 (日) 07:57 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164750为已巡查
• 2022年6月26日 (日) 07:25 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164749为已巡查
• 2022年6月25日 (六) 08:06 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本164746为已巡查
• 2014年10月6日 (一) 03:33 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本128160为已巡查
• 2014年10月2日 (四) 11:21 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本128090为已巡查
• 2014年10月2日 (四) 11:21 Allen (讨论 | 贡献)标记页面Knowledge Graph的版本128089为已巡查