欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

• 2008年1月9日 (三) 14:46 (差异 | 历史) . . （+12）‎ . . 新 讨论:Web 3.0 ‎ （最后更改）
• 2008年1月9日 (三) 14:41 (差异 | 历史) . . （+50）‎ . . 沙盒 ‎
• 2008年1月9日 (三) 14:40 (差异 | 历史) . . （+80）‎ . . 沙盒 ‎
• 2008年1月9日 (三) 14:36 (差异 | 历史) . . （+81）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2008年1月9日 (三) 14:29 (差异 | 历史) . . （0）‎ . . 新 文件:2010修改版(小).jpg ‎ （最后更改）
• 2008年1月9日 (三) 14:28 (差异 | 历史) . . （+85）‎ . . 讨论:维基百科全书 ‎