欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
- 2009年1月10日 (六) 18:41 (差异 | 历史) . . (+58,211) . . Internet (http://indronrol.is-the-boss.com/elnoviwen.html)
- 2009年1月9日 (五) 13:17 (差异 | 历史) . . (+29,315) . . 小 Internet (http://chifire.strefa.pl/news-830.html)
- 2009年1月9日 (五) 06:14 (差异 | 历史) . . (+14,770) . . Internet (http://zelgetgo.0lx.net/new993.htm)
- 2009年1月8日 (四) 22:57 (差异 | 历史) . . (+7,568) . . Internet (http://spfortne.qsh.eu/20081230-a-10-video-warthog.html)
- 2009年1月8日 (四) 16:18 (差异 | 历史) . . (+3,977) . . 小 Internet (http://zelgetgo.0lx.net/new1311.htm)
- 2008年12月20日 (六) 02:04 (差异 | 历史) . . (+1,822) . . Internet (monchibasda)
分享您的观点