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