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

• 2007年1月30日 (二) 19:04 (差异 | 历史) . . （+74）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2006年11月30日 (四) 15:45 (差异 | 历史) . . （+94）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2006年10月28日 (六) 11:24 (差异 | 历史) . . （+53）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2006年10月23日 (一) 16:22 (差异 | 历史) . . （+30）‎ . . 沙盒 ‎
• 2006年10月23日 (一) 15:50 (差异 | 历史) . . （+24）‎ . . 小 沙盒 ‎
• 2006年10月23日 (一) 15:14 (差异 | 历史) . . （+7）‎ . . 讨论:沙盒 ‎
• 2006年10月10日 (二) 21:07 (差异 | 历史) . . （+49）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2006年10月10日 (二) 21:00 (差异 | 历史) . . （+98）‎ . . 开放百科 - 灰狐:Community Portal ‎
• 2006年10月10日 (二) 20:58 (差异 | 历史) . . （+21）‎ . . 新 开放百科 - 灰狐:Community Portal ‎
• 2006年10月10日 (二) 20:57 (差异 | 历史) . . （0）‎ . . 新 文件:123735 200582413435477499.gif ‎ （最后更改）
• 2006年10月10日 (二) 20:32 (差异 | 历史) . . （0）‎ . . 新 文件:Abcde.gif ‎ （最后更改）