欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- 2024年3月28日 (四) 08:15 (差异 | 历史) . . (+89) . . 小 赞助灰狐 (最后更改)
- 2024年3月26日 (二) 07:20 (差异 | 历史) . . (+84) . . 小 赞助灰狐
- 2024年3月26日 (二) 07:17 (差异 | 历史) . . (+232) . . 小 AutoLISP (最后更改)
- 2024年3月26日 (二) 07:11 (差异 | 历史) . . (+50) . . Lisp Web Foundation (→项目) (最后更改)
- 2024年3月26日 (二) 07:10 (差异 | 历史) . . (+37) . . 小 Lisp Web Foundation (→项目)
- 2024年3月15日 (五) 12:22 (差异 | 历史) . . (+218) . . 小 OpenShot (最后更改)
- 2024年1月17日 (三) 04:25 (差异 | 历史) . . (+11) . . 小 OroPlatform (→链接) (最后更改)
- 2024年1月17日 (三) 03:59 (差异 | 历史) . . (+31) . . 小 WordPress (→链接) (最后更改)
- 2024年1月15日 (一) 11:57 (差异 | 历史) . . (+102) . . 小 Racket (→数学) (最后更改)
- 2024年1月14日 (日) 13:22 (差异 | 历史) . . (+5) . . 小 Huihoo (→灰狐商标) (最后更改)
- 2024年1月14日 (日) 13:21 (差异 | 历史) . . (+19) . . 新 文件:Huihoo-logo-trademark-3198632.png (category:huihoo) (最后更改)
- 2024年1月14日 (日) 13:20 (差异 | 历史) . . (+230) . . 小 Huihoo (→信息产业部ICP/IP备案)
- 2024年1月14日 (日) 02:40 (差异 | 历史) . . (+59) . . 小 HPCC (→ECL) (最后更改)
- 2024年1月14日 (日) 02:38 (差异 | 历史) . . (+61) . . 小 HPCC (→机器学习)
- 2024年1月14日 (日) 02:38 (差异 | 历史) . . (-49) . . 小 HPCC (→链接)
- 2024年1月11日 (四) 15:37 (差异 | 历史) . . (+2) . . 小 赞助灰狐 (→感谢)
- 2024年1月9日 (二) 02:18 (差异 | 历史) . . (+41) . . 小 ScyllaDB (→项目) (最后更改)
- 2024年1月9日 (二) 02:17 (差异 | 历史) . . (+10) . . 小 ScyllaDB (→简介)
- 2024年1月7日 (日) 10:40 (差异 | 历史) . . (+119) . . 小 .NET (→8.0) (最后更改)
- 2023年12月28日 (四) 01:28 (差异 | 历史) . . (+15) . . 小 灰狐量子实验室 (→简介) (最后更改)
分享您的观点