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