欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Wikipedia
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 |
||
| 第1行： | 第1行： | ||
Wikipedia 5000 pages, fully printed | Wikipedia 5000 pages, fully printed | ||
[[Image:wikimedia-family.png|right|维基媒体基金会]] | [[Image:wikimedia-family.png|right|维基媒体基金会]] | ||
| − | |||
| − | |||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
| + | image:wikipedia-milestone.png|维基百科里程碑 | ||
Image:wikipedia-01.jpg | Image:wikipedia-01.jpg | ||
Image:wikipedia-02.jpg | Image:wikipedia-02.jpg | ||
2013年2月15日 (五) 02:25的版本
Wikipedia 5000 pages, fully printed
图集
维基百科里程碑
链接
分享您的观点
