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

• 2011年1月26日 (三) 03:04 (差异 | 历史) . . （+3,131）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 04:25 (差异 | 历史) . . （+100）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 04:19 (差异 | 历史) . . （+82）‎ . . 新 文件:2bizbox part detail.png ‎ (2BizBox是一款针对制造业的免费ERP软件。更多信息：www.2bizbox.com) （最后更改）
• 2011年1月25日 (二) 03:53 (差异 | 历史) . . （-115）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 03:50 (差异 | 历史) . . （+115）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 03:27 (差异 | 历史) . . （-121）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 03:26 (差异 | 历史) . . （+121）‎ . . 2BizBox ‎ (→‎图集)
• 2011年1月25日 (二) 03:23 (差异 | 历史) . . （+1）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 03:22 (差异 | 历史) . . （+10）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 03:21 (差异 | 历史) . . （+1,140）‎ . . 2BizBox ‎
• 2011年1月25日 (二) 02:49 (差异 | 历史) . . （+122）‎ . . 2BizBox ‎ (→‎图集)
• 2011年1月25日 (二) 02:43 (差异 | 历史) . . （-9）‎ . . 2BizBox ‎ (→‎链接)