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

• 2010年12月20日 (一) 05:20 (差异 | 历史) . . （+60）‎ . . 新小 用户讨论:Lxping ‎ (以内容' 刚开始使用灰狐有点不知道该怎么编辑耶...'创建新页面)
• 2010年12月20日 (一) 05:18 (差异 | 历史) . . （+27）‎ . . 新小 用户:Lxping ‎ (以内容'== Lxping的个人主页 =='创建新页面) （最后更改）