欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2022年12月15日 (四) 02:49 Allen (讨论 | 贡献)标记页面Mathematics的版本166516为已巡查
- 2022年12月14日 (三) 12:08 Allen (讨论 | 贡献)标记页面Shotcut的版本166515为已巡查
- 2022年12月14日 (三) 12:07 Allen (讨论 | 贡献)标记页面Shotcut的版本166514为已巡查
- 2022年12月14日 (三) 03:45 Allen (讨论 | 贡献)上传“文件:Theory-of-Quantum-Many-body-Systems.png” (category:physics)
- 2022年12月14日 (三) 02:39 Allen (讨论 | 贡献)上传“文件:Quantum-theory.jpg” (category:physics category:science)
- 2022年12月14日 (三) 02:38 Allen (讨论 | 贡献)标记页面Physics的版本166511为已巡查
- 2022年12月13日 (二) 09:55 Allen (讨论 | 贡献)上传“文件:Advanced-Algebra.jpg” (category:mathematics)
- 2022年12月12日 (一) 15:33 Allen (讨论 | 贡献)标记页面Computer algebra system的版本166509为已巡查
- 2022年12月12日 (一) 12:57 Allen (讨论 | 贡献)标记页面Computer algebra system的版本166508为已巡查
- 2022年12月12日 (一) 08:44 Allen (讨论 | 贡献)上传“文件:Aims-desktop-logo.png” (https://desktop.aims.ac.za/ https://wiki.debian.org/Derivatives/Census category:debian category:mathematics category:science)
- 2022年12月12日 (一) 08:42 Allen (讨论 | 贡献)标记页面Debian的版本166506为已巡查
- 2022年12月10日 (六) 16:25 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166505为已巡查
- 2022年12月10日 (六) 16:24 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166504为已巡查
- 2022年12月10日 (六) 11:47 Allen (讨论 | 贡献)上传“文件:Oneedge-logo.png” (https://oneedge.io/)
- 2022年12月10日 (六) 11:47 Allen (讨论 | 贡献)标记页面OpenNebula的版本166502为已巡查
- 2022年12月10日 (六) 11:11 Allen (讨论 | 贡献)标记页面OpenNebula的版本166501为已巡查
- 2022年12月10日 (六) 11:06 Allen (讨论 | 贡献)上传“文件:Opennebula-kubernetes-comparing.png” (https://opennebula.io/opennebula-kubernetes-comparing-two-container-orchestration-models/ category:container category:kubernetes category:cloud computing)
- 2022年12月10日 (六) 11:05 Allen (讨论 | 贡献)标记页面OpenNebula的版本166499为已巡查
- 2022年12月10日 (六) 09:08 Allen (讨论 | 贡献)上传“文件:Opennebula-innovation-partner.png” (https://opennebula.io/innovation/ category:cloud computing category:Huihoo Foundation)
- 2022年12月10日 (六) 09:06 Allen (讨论 | 贡献)标记页面OpenNebula的版本166497为已巡查
- 2022年12月10日 (六) 08:06 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166496为已巡查
- 2022年12月10日 (六) 05:13 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166495为已巡查
- 2022年12月10日 (六) 05:09 Allen (讨论 | 贡献)上传“文件:Hpcc-systems-logo.png”的新版本 (https://github.com/hpcc-systems category:big data)
- 2022年12月10日 (六) 05:01 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166493为已巡查
- 2022年12月10日 (六) 04:58 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166492为已巡查
- 2022年12月10日 (六) 04:57 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166491为已巡查
- 2022年12月10日 (六) 04:56 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166490为已巡查
- 2022年12月10日 (六) 04:52 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166489为已巡查
- 2022年12月10日 (六) 04:18 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166488为已巡查
- 2022年12月9日 (五) 10:33 Allen (讨论 | 贡献)上传“文件:Glasgow-haskell-compiler-and-llvm-pipeline.png” (https://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html category:haskell category:compiler category:LLVM)
- 2022年12月9日 (五) 10:32 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166486为已巡查
- 2022年12月9日 (五) 10:29 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166485为已巡查
- 2022年12月9日 (五) 10:28 Allen (讨论 | 贡献)标记页面Haskell ecosystem的版本166484为已巡查
- 2022年12月9日 (五) 03:18 Allen (讨论 | 贡献)标记页面PureScript的版本166483为已巡查
- 2022年12月8日 (四) 15:30 Allen (讨论 | 贡献)标记页面Mathematics的版本166482为已巡查
- 2022年12月7日 (三) 09:06 Allen (讨论 | 贡献)标记页面数理逻辑的版本166481为已巡查
- 2022年12月7日 (三) 09:03 Allen (讨论 | 贡献)标记页面数理逻辑的版本166480为已巡查
- 2022年12月6日 (二) 06:13 Allen (讨论 | 贡献)标记页面Huihoo的版本166479为已巡查
- 2022年12月6日 (二) 04:10 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166478为已巡查
- 2022年12月6日 (二) 03:58 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166477为已巡查
- 2022年12月6日 (二) 03:57 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166476为已巡查
- 2022年12月4日 (日) 10:33 Allen (讨论 | 贡献)上传“文件:Droidian-logo.png” (https://droidian.org/ category:debian category:andorid category:mobile)
- 2022年12月4日 (日) 10:32 Allen (讨论 | 贡献)标记页面Mobile的版本166474为已巡查
- 2022年12月4日 (日) 09:49 Allen (讨论 | 贡献)标记页面数学哲学的版本166473为已巡查
- 2022年12月4日 (日) 09:48 Allen (讨论 | 贡献)标记页面数学哲学的版本166472为已巡查
- 2022年12月4日 (日) 05:51 Allen (讨论 | 贡献)标记页面数学哲学的版本166471为已巡查
- 2022年12月4日 (日) 05:51 Allen (讨论 | 贡献)标记页面数学哲学的版本166470为已巡查
- 2022年12月4日 (日) 04:04 Allen (讨论 | 贡献)标记页面数学哲学的版本166469为已巡查
- 2022年12月4日 (日) 03:47 Allen (讨论 | 贡献)标记页面数学哲学的版本166468为已巡查
- 2022年12月4日 (日) 03:44 Allen (讨论 | 贡献)标记页面数学哲学的版本166467为已巡查
分享您的观点