欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
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 的一次聚会
分享您的观点