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

• 2007年11月16日 (五) 10:59 (差异 | 历史) . . （+61,642）‎ . . Namazu ‎
• 2007年11月16日 (五) 10:58 (差异 | 历史) . . （+58,988）‎ . . Pentaho ‎
• 2007年11月16日 (五) 10:57 (差异 | 历史) . . （+51,517）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2007年11月16日 (五) 10:55 (差异 | 历史) . . （+61,955）‎ . . 新 用户讨论:WikiRuiCong ‎ (梅毒的治疗方法)