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

• 2010年12月22日 (三) 08:58 (差异 | 历史) . . （-616）‎ . . 模板:Infobox Software ‎ (→‎Usage) （最后更改）
• 2010年12月22日 (三) 08:57 (差异 | 历史) . . （+3,015）‎ . . 新 卡兜 ‎ (以内容'{{Infobox Software | name = 卡兜 | screenshot = | caption = | developer = 卡兜网 | latest_release_version = 1.0.6 | latest_release_date = 2010年[[11...'创建新页面) （最后更改）