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

• 2016年3月30日 (三) 01:40 (差异 | 历史) . . （+59）‎ . . 小 用户:Walker ‎ (→‎链接) （最后更改）
• 2016年3月30日 (三) 01:38 (差异 | 历史) . . （+393）‎ . . 小 用户:Walker ‎
• 2016年3月30日 (三) 01:32 (差异 | 历史) . . （+39）‎ . . 小 用户:Walker ‎
• 2016年3月30日 (三) 01:31 (差异 | 历史) . . （+70）‎ . . 新 用户:Walker ‎ (以“在这里创建、完善个人Wiki主页，可参考已有同学的。”为内容创建页面)