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

• 2009年2月18日 (三) 02:57 (差异 | 历史) . . （-847）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 11:14 (差异 | 历史) . . （+1）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 11:05 (差异 | 历史) . . （+1）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 11:04 (差异 | 历史) . . （-12）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 11:03 (差异 | 历史) . . （-1）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 11:02 (差异 | 历史) . . （0）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:50 (差异 | 历史) . . （+2）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:50 (差异 | 历史) . . （-2）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:16 (差异 | 历史) . . （-2）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:14 (差异 | 历史) . . （-2）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:13 (差异 | 历史) . . （+13）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:10 (差异 | 历史) . . （+2）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:09 (差异 | 历史) . . （-2）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:09 (差异 | 历史) . . （+216）‎ . . 沙盒 ‎
• 2009年2月15日 (日) 10:01 (差异 | 历史) . . （-3,240）‎ . . 沙盒 ‎