欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo 20th Birthday
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐20周年 灰狐20岁，生日快乐！ ==简介== 灰狐是谁？Huihoo 历程。 ==活动== ==赞助== ==图集== category:huihoo [[category:Hui...”为内容创建页面) |
小 (→简介) |
||
| 第5行： | 第5行： | ||
==简介== | ==简介== | ||
灰狐是谁？[[Huihoo]] 历程。 | 灰狐是谁？[[Huihoo]] 历程。 | ||
| + | |||
| + | ==2020== | ||
| + | 不平凡的 2020 | ||
==活动== | ==活动== | ||
2020年12月12日 (六) 08:29的版本
灰狐20周年
灰狐20岁，生日快乐！
目录 |
简介
灰狐是谁？Huihoo 历程。
2020
不平凡的 2020
活动
赞助
图集
分享您的观点
