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

• 2009年1月12日 (一) 08:35 (差异 | 历史) . . （+12,620）‎ . . 小 Advertising Networks ‎ (http://mahohmie.qsh.eu/resource1460.htm)
• 2009年1月12日 (一) 03:20 (差异 | 历史) . . （+6,463）‎ . . 小 Advertising Networks ‎ (http://naceceli.qsh.eu/page515.html)
• 2009年1月11日 (日) 22:08 (差异 | 历史) . . （+3,457）‎ . . 小 Advertising Networks ‎ (http://acsitzar.0lx.net/news-kobra-videos-downloads-2008-11-18.html)
• 2009年1月11日 (日) 17:15 (差异 | 历史) . . （+1,883）‎ . . 小 Advertising Networks ‎ (http://chifire.strefa.pl/news-1447.html)
• 2009年1月11日 (日) 12:02 (差异 | 历史) . . （+1,137）‎ . . Advertising Networks ‎ (http://ettaelt.strefa.pl/news-115.html)
• 2009年1月10日 (六) 19:58 (差异 | 历史) . . （+693）‎ . . Advertising Networks ‎ (http://fademon.0lx.net/article-1764.htm)
• 2009年1月9日 (五) 21:48 (差异 | 历史) . . （+549）‎ . . 小 Advertising Networks ‎ (http://mahohmie.qsh.eu/resource424.htm)
• 2009年1月9日 (五) 14:43 (差异 | 历史) . . （+445）‎ . . 小 Advertising Networks ‎ (http://lofaako.strefa.pl/article1302.html)
• 2009年1月9日 (五) 07:56 (差异 | 历史) . . （+380）‎ . . 小 Advertising Networks ‎ (http://releltl.0lx.net/20081112-i-movie-robot.html)
• 2009年1月9日 (五) 00:23 (差异 | 历史) . . （+398）‎ . . Advertising Networks ‎ (http://baslozaro.is-the-boss.com/article311.html)
• 2009年1月8日 (四) 17:40 (差异 | 历史) . . （+379）‎ . . Advertising Networks ‎ (http://licawol.strefa.pl/resource1826.htm)
• 2009年1月3日 (六) 14:04 (差异 | 历史) . . （+15）‎ . . Advertising Networks ‎ (ourolid)