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

• 2008年2月4日 (一) 11:44 (差异 | 历史) . . （+22,917）‎ . . 文件:Onecmdb-main.gif ‎ (gjhgk)
• 2008年2月3日 (日) 11:42 (差异 | 历史) . . （+20,905）‎ . . PostgreSQL ‎ (在此输入标题)
• 2008年2月3日 (日) 11:42 (差异 | 历史) . . （+22,384）‎ . . PostGIS ‎ (在此输入标题)
• 2008年2月3日 (日) 11:42 (差异 | 历史) . . （+22,917）‎ . . 文件:Onecmdb-itil.png ‎ (在此输入标题)
• 2008年2月3日 (日) 11:42 (差异 | 历史) . . （+22,764）‎ . . Ruby on Rails on Debian ‎ (在此输入标题)
• 2008年2月3日 (日) 11:41 (差异 | 历史) . . （+22,900）‎ . . OpenQRM ‎ (在此输入标题)