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

• 2007年9月30日 (日) 14:32 (差异 | 历史) . . （+25）‎ . . 开放百科 - 灰狐讨论:Community Portal ‎
• 2007年9月30日 (日) 14:30 (差异 | 历史) . . （+108）‎ . . Internet ‎
• 2007年9月30日 (日) 14:29 (差异 | 历史) . . （+29）‎ . . 小 Internet ‎
• 2007年9月30日 (日) 14:27 (差异 | 历史) . . （+38）‎ . . 小 Internet ‎ (油画批发 http;//www.dafennt.com)