欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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 的一次朋友聚会
分享您的观点