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

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

• 2022年10月19日 (三) 06:53 Allen (讨论 | 贡献)标记页面Coq的版本166216为已巡查
• 2022年10月19日 (三) 06:52 Allen (讨论 | 贡献)标记页面Formal verification的版本166215为已巡查
• 2022年10月19日 (三) 05:01 Allen (讨论 | 贡献)上传“文件:Types-logic-sets-homotopy.png” (https://github.com/HoTT/book p.15 category:formal category:mathematics category:mathematical logic category:reasoning)
• 2022年10月19日 (三) 04:56 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166213为已巡查
• 2022年10月19日 (三) 04:41 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166212为已巡查
• 2022年10月19日 (三) 04:12 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166211为已巡查
• 2022年10月19日 (三) 03:36 Allen (讨论 | 贡献)上传“文件:HoTT-univalence-axiom.png” (https://homotopytypetheory.org/ category:formal category:mathematics category:mathematical logic category:reasoning)
• 2022年10月19日 (三) 03:34 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166209为已巡查
• 2022年10月19日 (三) 03:33 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166208为已巡查
• 2022年10月19日 (三) 02:33 Allen (讨论 | 贡献)标记页面OCaml的版本166207为已巡查
• 2022年10月18日 (二) 15:01 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166206为已巡查
• 2022年10月18日 (二) 15:00 Allen (讨论 | 贡献)上传“文件:Homotopy-Type-Theory.png” (https://en.wikipedia.org/wiki/Homotopy_type_theory category:mathematical logic category:mathematics category:formal category:reasoning)
• 2022年10月18日 (二) 14:57 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166204为已巡查
• 2022年10月18日 (二) 14:46 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166203为已巡查
• 2022年10月18日 (二) 10:39 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166202为已巡查
• 2022年10月17日 (一) 15:36 Allen (讨论 | 贡献)上传“文件:Univalent-Foundations-Vladimir-Voevodsky.png” (category:formal category:mathematics category:coq)
• 2022年10月17日 (一) 15:35 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166200为已巡查
• 2022年10月17日 (一) 15:06 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166199为已巡查
• 2022年10月17日 (一) 15:04 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166198为已巡查
• 2022年10月17日 (一) 14:51 Allen (讨论 | 贡献)标记页面Haskell的版本166197为已巡查
• 2022年10月17日 (一) 12:25 Allen (讨论 | 贡献)标记页面MediaWiki:Sitenotice的版本166196为已巡查
• 2022年10月17日 (一) 12:07 Allen (讨论 | 贡献)标记页面Haskell的版本166195为已巡查
• 2022年10月17日 (一) 09:30 Allen (讨论 | 贡献)标记页面Compiler的版本166194为已巡查
• 2022年10月17日 (一) 09:15 Allen (讨论 | 贡献)标记页面Haskell的版本166193为已巡查
• 2022年10月17日 (一) 09:14 Allen (讨论 | 贡献)标记页面Haskell的版本166192为已巡查
• 2022年10月17日 (一) 09:04 Allen (讨论 | 贡献)标记页面ML的版本166191为已巡查
• 2022年10月17日 (一) 07:14 Allen (讨论 | 贡献)标记页面灰狐基金会的版本166190为已巡查
• 2022年10月17日 (一) 07:14 Allen (讨论 | 贡献)标记页面Roslyn的版本166189为已巡查
• 2022年10月17日 (一) 05:46 Allen (讨论 | 贡献)标记页面CMake的版本166188为已巡查
• 2022年10月17日 (一) 05:45 Allen (讨论 | 贡献)标记页面Compiler的版本166187为已巡查
• 2022年10月17日 (一) 05:44 Allen (讨论 | 贡献)标记页面Compiler的版本166186为已巡查
• 2022年10月17日 (一) 05:43 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166185为已巡查
• 2022年10月17日 (一) 04:54 Allen (讨论 | 贡献)标记页面灰狐会员的版本166184为已巡查
• 2022年10月17日 (一) 03:21 Allen (讨论 | 贡献)标记页面Computer science的版本166183为已巡查
• 2022年10月17日 (一) 00:14 Allen (讨论 | 贡献)标记页面E language的版本166182为已巡查
• 2022年10月17日 (一) 00:13 Allen (讨论 | 贡献)标记页面E language的版本166181为已巡查
• 2022年10月16日 (日) 14:39 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166180为已巡查
• 2022年10月16日 (日) 14:36 Allen (讨论 | 贡献)标记页面Formal language的版本166179为已巡查
• 2022年10月16日 (日) 14:35 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166178为已巡查
• 2022年10月16日 (日) 14:33 Allen (讨论 | 贡献)标记页面Formal language的版本166177为已巡查
• 2022年10月16日 (日) 14:20 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166176为已巡查
• 2022年10月16日 (日) 13:13 Allen (讨论 | 贡献)标记页面GHDL的版本166175为已巡查
• 2022年10月16日 (日) 13:09 Allen (讨论 | 贡献)标记页面SystemVerilog的版本166174为已巡查
• 2022年10月16日 (日) 13:04 Allen (讨论 | 贡献)标记页面SystemC的版本166173为已巡查
• 2022年10月16日 (日) 11:26 Allen (讨论 | 贡献)标记页面Erlang VM的版本166172为已巡查
• 2022年10月16日 (日) 11:21 Allen (讨论 | 贡献)上传“文件:PolyML-SML-Basis-Library.png” (category:ML)
• 2022年10月16日 (日) 11:20 Allen (讨论 | 贡献)标记页面ML的版本166170为已巡查
• 2022年10月16日 (日) 10:53 Allen (讨论 | 贡献)标记页面ML的版本166169为已巡查
• 2022年10月16日 (日) 07:46 Allen (讨论 | 贡献)标记页面ML的版本166168为已巡查
• 2022年10月16日 (日) 07:42 Allen (讨论 | 贡献)标记页面ML的版本166167为已巡查