欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo 2002.12.21
来自开放百科 - 灰狐
(版本间的差异)
(以“深圳 2002.12.21 的一次聚会 <gallery> </gallery> category:huihoo”为内容创建页面) |
小 |
||
第2行: | 第2行: | ||
<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月12日 (四) 07:40的版本
深圳 2002.12.21 的一次聚会
分享您的观点