欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2022年12月4日 (日) 03:12 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166466为已巡查
- 2022年12月3日 (六) 12:42 Allen (讨论 | 贡献)标记页面数学哲学的版本166465为已巡查
- 2022年12月3日 (六) 12:39 Allen (讨论 | 贡献)标记页面数学哲学的版本166464为已巡查
- 2022年12月3日 (六) 08:57 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166463为已巡查
- 2022年12月3日 (六) 05:18 Allen (讨论 | 贡献)标记页面Lisp ecosystem的版本166462为已巡查
- 2022年12月3日 (六) 05:18 Allen (讨论 | 贡献)标记页面Erlang ecosystem的版本166461为已巡查
- 2022年12月3日 (六) 05:17 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166460为已巡查
- 2022年12月3日 (六) 05:00 Allen (讨论 | 贡献)标记页面Huihoo Cloud的版本166459为已巡查
- 2022年12月3日 (六) 04:57 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166458为已巡查
- 2022年12月3日 (六) 04:05 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166457为已巡查
- 2022年12月3日 (六) 04:03 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166456为已巡查
- 2022年12月3日 (六) 03:20 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166455为已巡查
- 2022年12月3日 (六) 03:17 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166454为已巡查
- 2022年12月3日 (六) 03:06 Allen (讨论 | 贡献)标记页面Mathematics的版本166453为已巡查
- 2022年12月2日 (五) 11:26 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166452为已巡查
- 2022年12月2日 (五) 11:22 Allen (讨论 | 贡献)标记页面Mastodon的版本166451为已巡查
- 2022年12月2日 (五) 11:21 Allen (讨论 | 贡献)标记页面Mastodon的版本166450为已巡查
- 2022年12月2日 (五) 11:20 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166449为已巡查
- 2022年12月2日 (五) 09:55 Allen (讨论 | 贡献)上传“文件:Mathematics-genealogy-skeleton.png” (https://www.mathgenealogy.org/ category:mathematics)
- 2022年12月2日 (五) 09:54 Allen (讨论 | 贡献)标记页面Mathematics的版本166447为已巡查
- 2022年12月2日 (五) 09:49 Allen (讨论 | 贡献)标记页面Mathematics的版本166446为已巡查
- 2022年12月1日 (四) 08:58 Allen (讨论 | 贡献)上传“文件:Carp-lang-logo.png” (https://github.com/carp-lang category:progamming language category:haskell category:lisp)
- 2022年12月1日 (四) 08:56 Allen (讨论 | 贡献)标记页面Carp的版本166444为已巡查
- 2022年12月1日 (四) 08:54 Allen (讨论 | 贡献)标记页面Carp的版本166443为已巡查
- 2022年12月1日 (四) 08:53 Allen (讨论 | 贡献)标记页面Carp的版本166442为已巡查
- 2022年11月30日 (三) 15:10 Allen (讨论 | 贡献)标记页面Godot的版本166441为已巡查
- 2022年11月30日 (三) 15:04 Allen (讨论 | 贡献)标记页面Godot的版本166440为已巡查
- 2022年11月30日 (三) 14:59 Allen (讨论 | 贡献)标记页面Formal language的版本166439为已巡查
- 2022年11月30日 (三) 14:58 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166438为已巡查
- 2022年11月30日 (三) 14:57 Allen (讨论 | 贡献)标记页面Formal mathematics的版本166437为已巡查
- 2022年11月30日 (三) 14:54 Allen (讨论 | 贡献)标记页面Godot的版本166436为已巡查
- 2022年11月30日 (三) 02:13 Allen (讨论 | 贡献)标记页面灰狐基金会的版本166435为已巡查
- 2022年11月30日 (三) 02:12 Allen (讨论 | 贡献)标记页面灰狐基金会的版本166434为已巡查
- 2022年11月30日 (三) 02:08 Allen (讨论 | 贡献)标记页面灰狐基金会的版本166433为已巡查
- 2022年11月30日 (三) 02:06 Allen (讨论 | 贡献)标记页面灰狐基金会的版本166432为已巡查
- 2022年11月29日 (二) 13:17 Allen (讨论 | 贡献)标记页面Mathematics的版本166431为已巡查
- 2022年11月29日 (二) 09:30 Allen (讨论 | 贡献)上传“文件:Modelica-Association-Projects.png” (https://github.com/modelica/MA-Logos category:simulation category:model)
- 2022年11月29日 (二) 09:29 Allen (讨论 | 贡献)上传“文件:Modelica-Association-logo.png” (https://modelica.org/ category:simulation category:model)
- 2022年11月29日 (二) 09:28 Allen (讨论 | 贡献)标记页面Simulation的版本166428为已巡查
- 2022年11月27日 (日) 11:41 Allen (讨论 | 贡献)标记页面Algebra的版本166427为已巡查
- 2022年11月27日 (日) 02:43 Allen (讨论 | 贡献)上传“文件:GAP.png” (https://www.gap-system.org/ category:mathematics)
- 2022年11月27日 (日) 02:36 Allen (讨论 | 贡献)标记页面Computer algebra system的版本166425为已巡查
- 2022年11月27日 (日) 02:35 Allen (讨论 | 贡献)标记页面Computer algebra system的版本166424为已巡查
- 2022年11月27日 (日) 01:12 Allen (讨论 | 贡献)标记页面数学哲学的版本166423为已巡查
- 2022年11月25日 (五) 05:45 Allen (讨论 | 贡献)标记页面Ada的版本166422为已巡查
- 2022年11月25日 (五) 05:40 Allen (讨论 | 贡献)标记页面分类:Ada的版本166421为已巡查
- 2022年11月23日 (三) 14:44 Allen (讨论 | 贡献)上传“文件:Galois-logo.jpg” (https://ivorylang.org/about.html category:cryptography category:security category:haskell)
- 2022年11月23日 (三) 14:41 Allen (讨论 | 贡献)标记页面Cryptol的版本166419为已巡查
- 2022年11月23日 (三) 14:37 Allen (讨论 | 贡献)标记页面Cryptography的版本166418为已巡查
- 2022年11月23日 (三) 14:11 Allen (讨论 | 贡献)标记页面量子计算的版本166417为已巡查
分享您的观点