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

• 2015年7月2日 (四) 08:58 (差异 | 历史) . . （+45）‎ . . 用户:Ayameo ‎ （最后更改）
• 2015年7月1日 (三) 08:24 (差异 | 历史) . . （+60）‎ . . 沙盒 ‎ (→‎外部图片) （最后更改）
• 2015年7月1日 (三) 08:06 (差异 | 历史) . . （0）‎ . . 新 文件:Huihoo头像.png ‎ （最后更改）
• 2015年7月1日 (三) 07:56 (差异 | 历史) . . （-112）‎ . . 沙盒 ‎ (→‎表格)
• 2015年6月29日 (一) 03:10 (差异 | 历史) . . （+84）‎ . . 用户:Ayameo ‎
• 2015年6月29日 (一) 02:54 (差异 | 历史) . . （-36）‎ . . 用户:Ayameo ‎
• 2015年6月29日 (一) 02:51 (差异 | 历史) . . （+925）‎ . . 用户:Ayameo ‎
• 2015年6月27日 (六) 03:47 (差异 | 历史) . . （-52）‎ . . 用户:Ayameo ‎ (撤销由Allen（讨论）所作出的修订131839)
• 2015年6月27日 (六) 03:32 (差异 | 历史) . . （0）‎ . . 新 文件:IMG 20140901 230157.jpg ‎ （最后更改）