欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
编辑, 奇怪
取消匿名编辑...不明白
只有登录才能编辑, 欢迎注册账号.
<categorytree mode=pages>games</categorytree>
{{#if:zh|
{{#if:en-2|
{{#if:|
{{#if: }}}}}}|
{{#widget:Feed |feedurl=http://www.oschina.net/news/rss |chan=y |num=5 |desc=50 |date=n |targ=n }}
this is only a fun
commons:MediaWiki
wikibooks:Main Page
wikipedia:Main Page
wiktionary:Main Page
commons:Image:Geneva_mechanism_6spoke_animation.gif
ssssssssssssssssssss