欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MediaWiki的管理功能相对较弱 昏特
虽然目前还不理解这么分有何好处,不过至少看起来很简洁 --Redfuture 21:49 2007年1月27日 (CST)