欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
- 2012年9月13日 (四) 12:14 (差异 | 历史) . . （+25） . . OpenMovie/story1
- 2012年9月13日 (四) 11:31 (差异 | 历史) . . （+3,093） . . OpenMovie/story1
- 2012年9月13日 (四) 07:37 (差异 | 历史) . . （+14） . . OpenMovie/story1
- 2012年7月2日 (一) 03:26 (差异 | 历史) . . （+91） . . 开源人物 （最后更改）
分享您的观点
