欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
讨论:沙盒
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
MediaWiki的管理功能相对较弱 | MediaWiki的管理功能相对较弱 | ||
昏特 | 昏特 | ||
| + | |||
| + | 虽然目前还不理解这么分有何好处，不过至少看起来很简洁 | ||
| + | --[[User:Redfuture|Redfuture]] 21:49 2007年1月27日 (CST) | ||
| + | |||
| + | ---- | ||
2007年1月27日 (六) 13:49的版本
MediaWiki的管理功能相对较弱 昏特
虽然目前还不理解这么分有何好处，不过至少看起来很简洁 --Redfuture 21:49 2007年1月27日 (CST)
分享您的观点
