欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
- 2010年1月25日 (一) 16:27 (差异 | 历史) . . (+6,480) . . 小 OpenMPC (☆★☆麻将千术【★】)
- 2010年1月25日 (一) 15:48 (差异 | 历史) . . (-7,621) . . 小 开放百科 - 灰狐:搜索 (麻将技术【13938-444-111 QQ:358368350 】) (最后更改)
分享您的观点