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

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

• 2023年7月24日 (一) 00:47 Allen (讨论 | 贡献)标记页面Science的版本166867为已巡查
• 2023年7月24日 (一) 00:43 Allen (讨论 | 贡献)标记页面Science的版本166862为已巡查
• 2022年12月30日 (五) 01:25 Allen (讨论 | 贡献)标记页面Science的版本166531为已巡查
• 2022年10月5日 (三) 02:46 Allen (讨论 | 贡献)标记页面Science的版本165934为已巡查
• 2022年10月5日 (三) 02:45 Allen (讨论 | 贡献)标记页面Science的版本165933为已巡查
• 2022年10月5日 (三) 02:41 Allen (讨论 | 贡献)标记页面Science的版本165932为已巡查
• 2022年10月5日 (三) 01:04 Allen (讨论 | 贡献)标记页面Science的版本165929为已巡查
• 2022年9月23日 (五) 04:09 Allen (讨论 | 贡献)标记页面Science的版本165800为已巡查
• 2022年9月19日 (一) 00:31 Allen (讨论 | 贡献)标记页面Science的版本165686为已巡查
• 2022年9月9日 (五) 11:44 Allen (讨论 | 贡献)标记页面Science的版本165601为已巡查
• 2022年9月9日 (五) 11:38 Allen (讨论 | 贡献)标记页面Science的版本165600为已巡查
• 2022年9月9日 (五) 06:04 Allen (讨论 | 贡献)标记页面Science的版本165599为已巡查
• 2022年9月8日 (四) 04:43 Allen (讨论 | 贡献)标记页面Science的版本165591为已巡查
• 2022年9月6日 (二) 06:00 Allen (讨论 | 贡献)标记页面Science的版本165582为已巡查
• 2022年9月6日 (二) 05:54 Allen (讨论 | 贡献)标记页面Science的版本165580为已巡查
• 2022年8月28日 (日) 12:25 Allen (讨论 | 贡献)标记页面Science的版本165400为已巡查
• 2022年8月28日 (日) 10:53 Allen (讨论 | 贡献)标记页面Science的版本165399为已巡查
• 2022年8月28日 (日) 10:44 Allen (讨论 | 贡献)标记页面Science的版本165398为已巡查
• 2022年8月28日 (日) 09:37 Allen (讨论 | 贡献)标记页面Science的版本165396为已巡查
• 2022年8月3日 (三) 08:19 Allen (讨论 | 贡献)标记页面Science的版本165019为已巡查
• 2022年8月3日 (三) 08:16 Allen (讨论 | 贡献)标记页面Science的版本165018为已巡查
• 2022年8月2日 (二) 08:37 Allen (讨论 | 贡献)标记页面Science的版本165017为已巡查
• 2022年8月2日 (二) 08:16 Allen (讨论 | 贡献)标记页面Science的版本165015为已巡查
• 2022年7月31日 (日) 07:36 Allen (讨论 | 贡献)标记页面Science的版本165004为已巡查
• 2022年7月29日 (五) 06:44 Allen (讨论 | 贡献)标记页面Science的版本164985为已巡查
• 2022年7月29日 (五) 00:10 Allen (讨论 | 贡献)标记页面Science的版本164976为已巡查
• 2022年7月28日 (四) 04:44 Allen (讨论 | 贡献)标记页面Science的版本164971为已巡查
• 2022年7月26日 (二) 16:13 Allen (讨论 | 贡献)标记页面Science的版本164959为已巡查
• 2022年7月25日 (一) 07:44 Allen (讨论 | 贡献)标记页面Science的版本164956为已巡查
• 2022年7月24日 (日) 03:39 Allen (讨论 | 贡献)标记页面Science的版本164938为已巡查
• 2022年7月24日 (日) 03:25 Allen (讨论 | 贡献)标记页面Science的版本164937为已巡查
• 2022年7月21日 (四) 07:56 Allen (讨论 | 贡献)标记页面Science的版本164931为已巡查
• 2022年7月21日 (四) 06:37 Allen (讨论 | 贡献)标记页面Science的版本164928为已巡查
• 2022年7月11日 (一) 12:11 Allen (讨论 | 贡献)标记页面Science的版本164897为已巡查
• 2022年7月7日 (四) 08:42 Allen (讨论 | 贡献)标记页面Science的版本164880为已巡查
• 2022年7月1日 (五) 06:56 Allen (讨论 | 贡献)标记页面Science的版本164823为已巡查
• 2022年7月1日 (五) 06:39 Allen (讨论 | 贡献)标记页面Science的版本164822为已巡查
• 2022年6月30日 (四) 13:30 Allen (讨论 | 贡献)标记页面Science的版本164816为已巡查
• 2022年6月30日 (四) 13:29 Allen (讨论 | 贡献)标记页面Science的版本164815为已巡查
• 2022年6月30日 (四) 04:39 Allen (讨论 | 贡献)标记页面Science的版本164809为已巡查
• 2022年6月30日 (四) 03:59 Allen (讨论 | 贡献)标记页面Science的版本164807为已巡查