欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
讨论:沙盒
来自开放百科 - 灰狐
MediaWiki的管理功能相对较弱 昏特
虽然目前还不理解这么分有何好处，不过至少看起来很简洁 --Redfuture 21:49 2007年1月27日 (CST)
MediaWiki的管理功能略显混乱
期待能尽快改进。
分享您的观点
