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

• 2006年8月31日 (四) 13:23 (差异 | 历史) . . （-3）‎ . . EnCase ‎
• 2006年8月9日 (三) 10:48 (差异 | 历史) . . （+184）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:45 (差异 | 历史) . . （+1）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:32 (差异 | 历史) . . （+2）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:31 (差异 | 历史) . . （+45）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:20 (差异 | 历史) . . （+5）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:13 (差异 | 历史) . . （+51）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:12 (差异 | 历史) . . （+21）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:10 (差异 | 历史) . . （+1,946）‎ . . EnCase ‎
• 2006年8月6日 (日) 10:02 (差异 | 历史) . . （-1,460）‎ . . 用户讨论:Kijs ‎ （最后更改）
• 2006年8月6日 (日) 10:01 (差异 | 历史) . . （+1,458）‎ . . 新 EnCase ‎
• 2006年8月6日 (日) 09:59 (差异 | 历史) . . （+1,460）‎ . . 新 用户讨论:Kijs ‎