欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo 2002.12.21
来自开放百科 - 灰狐
（版本间的差异）
(以“深圳 2002.12.21 的一次聚会 <gallery> </gallery> category:huihoo”为内容创建页面) |
小 |
||
| （未显示1个用户的2个中间版本） | |||
| 第1行： | 第1行： | ||
| − | 深圳 2002.12.21 | + | [[Huihoo]] 深圳 2002.12.21 的一次朋友聚会 |
<gallery> | <gallery> | ||
| − | + | image:20021221.jpg | |
| + | image:20021221-01.jpg | ||
| + | image:20021221-02.jpg | ||
| + | image:20021221-03.jpg | ||
| + | image:20021221-04.jpg | ||
| + | image:20021221-05.jpg | ||
| + | image:20021221-06.jpg | ||
| + | image:20021221-07.jpg | ||
| + | image:20021221-08.jpg | ||
| + | image:20021221-09.jpg | ||
| + | image:20021221-10.jpg | ||
| + | image:20021221-11.jpg | ||
</gallery> | </gallery> | ||
[[category:huihoo]] | [[category:huihoo]] | ||
2014年6月14日 (六) 06:42的最后版本
Huihoo 深圳 2002.12.21 的一次朋友聚会
分享您的观点
