欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
这位用户现时正在被封锁中。 最近的封锁日志项目在下面提供以便参考:
- 2009年1月9日 (五) 21:06 (差异 | 历史) . . (+9,020) . . RForum (http://flheddin.qsh.eu/domacboc-1175.html)
- 2009年1月9日 (五) 14:05 (差异 | 历史) . . (+4,684) . . 小 RForum (http://chifire.strefa.pl/news-1561.html)
- 2009年1月9日 (五) 07:10 (差异 | 历史) . . (+2,482) . . 小 RForum (http://sematild.qsh.eu/resource216.htm)
- 2009年1月8日 (四) 23:46 (差异 | 历史) . . (+1,435) . . RForum (http://huruple.qsh.eu/20081230-movie-lawton-oklahoma.htm)
- 2009年1月8日 (四) 17:04 (差异 | 历史) . . (+854) . . 小 RForum (http://mahohmie.qsh.eu/resource747.htm)
- 2008年12月24日 (三) 21:07 (差异 | 历史) . . (+284) . . RForum (rolialc)
分享您的观点