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

• 2010年9月25日 (六) 06:16 (差异 | 历史) . . （-2）‎ . . MediaWiki ‎ (→‎成功应用)
• 2010年9月2日 (四) 07:23 (差异 | 历史) . . （+58）‎ . . P2P ‎ (→‎相关链接)
• 2010年9月2日 (四) 07:22 (差异 | 历史) . . （+56）‎ . . BitTorrent ‎ (→‎Resource)
• 2010年9月2日 (四) 07:20 (差异 | 历史) . . （+68）‎ . . Database ‎ (→‎相关链接)
• 2010年9月2日 (四) 07:14 (差异 | 历史) . . （+65）‎ . . MediaWiki ‎