欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
这位用户现时正在被封锁中。 最近的封锁日志项目在下面提供以便参考:
- 2009年1月9日 (五) 12:59 (差异 | 历史) . . (+111,105) . . Baidu (http://sematild.qsh.eu/sitemap.htm)
- 2009年1月9日 (五) 05:52 (差异 | 历史) . . (+55,767) . . Baidu (http://vihencbr.0lx.net/mike-epps-movies.html)
- 2009年1月8日 (四) 22:39 (差异 | 历史) . . (+28,058) . . Baidu (http://caraines.qsh.eu/ergetelc.htm)
- 2009年1月8日 (四) 16:01 (差异 | 历史) . . (+14,271) . . Baidu (http://golxando.0lx.net/1036113587.html)
- 2008年12月19日 (五) 19:41 (差异 | 历史) . . (+6,937) . . Baidu (cnacnam)
分享您的观点