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

• 2008年4月21日 (一) 08:31 (差异 | 历史) . . （-60,632）‎ . . 用户讨论:WikiRuiCong ‎ (nike shoes) （最后更改）
• 2008年1月25日 (五) 07:25 (差异 | 历史) . . （+1,514）‎ . . Scintilla (editing component) ‎ (runescape money)
• 2008年1月24日 (四) 03:05 (差异 | 历史) . . （+1,272）‎ . . Quartz ‎ (runescape money)