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

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

• 2026年1月4日 (日) 02:33 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本167609为已巡查
• 2025年12月22日 (一) 02:40 Allen (讨论 | 贡献)标记页面Vitess的版本167608为已巡查
• 2025年12月22日 (一) 00:39 Allen (讨论 | 贡献)上传“文件:Landau.jpg” (category:physics)
• 2025年12月22日 (一) 00:30 Allen (讨论 | 贡献)上传“文件:Ten-Commandments-of-Landau.png” (category:physics)
• 2025年12月22日 (一) 00:28 Allen (讨论 | 贡献)上传“文件:Landau-Ten-Volumes.jpg” (category:physics)
• 2025年12月18日 (四) 12:47 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167604为已巡查
• 2025年12月18日 (四) 10:26 Allen (讨论 | 贡献)上传“文件:Quantum-entanglement.jpg” (category:physics)
• 2025年12月18日 (四) 10:24 Allen (讨论 | 贡献)上传“文件:Physics.jpeg” (category:physics)
• 2025年12月18日 (四) 10:20 Allen (讨论 | 贡献)上传“文件:Mathematics.jpg” (category:mathematics)
• 2025年12月18日 (四) 10:16 Allen (讨论 | 贡献)上传“文件:The-Death-of-Socrates.jpg”
• 2025年12月18日 (四) 10:11 Allen (讨论 | 贡献)上传“文件:Penrose.jpg” (category:physics)
• 2025年12月1日 (一) 22:47 Allen (讨论 | 贡献)标记页面灰狐光量子实验室的版本167598为已巡查
• 2025年12月1日 (一) 22:45 Allen (讨论 | 贡献)移动灰狐量子实验室页面至灰狐光量子实验室
• 2025年11月27日 (四) 12:13 Allen (讨论 | 贡献)标记页面Super Compute Project的版本167595为已巡查
• 2025年11月27日 (四) 01:20 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本167594为已巡查
• 2025年11月17日 (一) 02:41 Allen (讨论 | 贡献)标记页面E3 learning的版本167593为已巡查
• 2025年11月16日 (日) 00:09 Allen (讨论 | 贡献)标记页面MediaWiki的版本167592为已巡查
• 2025年11月5日 (三) 23:23 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本167591为已巡查
• 2025年10月23日 (四) 07:17 Allen (讨论 | 贡献)标记页面OpenStudio的版本167590为已巡查
• 2025年8月12日 (二) 02:18 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167589为已巡查