欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
- 2008年4月21日 (一) 08:31 (差异 | 历史) . . (-60,632) . . 用户讨论:WikiRuiCong (nike shoes) (最后更改)
- 2008年1月25日 (五) 07:25 (差异 | 历史) . . (+1,514) . . Scintilla (editing component) (runescape money)
- 2008年1月24日 (四) 03:05 (差异 | 历史) . . (+1,272) . . Quartz (runescape money)
分享您的观点