欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
- 2010年8月15日 (日) 04:53 (差异 | 历史) . . (+9) . . 沙盒
- 2010年8月15日 (日) 04:43 (差异 | 历史) . . (+3) . . 沙盒
- 2010年8月15日 (日) 04:35 (差异 | 历史) . . (+20) . . 沙盒
- 2010年8月15日 (日) 04:21 (差异 | 历史) . . (+8) . . 沙盒
- 2010年8月15日 (日) 04:15 (差异 | 历史) . . (+47) . . 沙盒
- 2010年8月15日 (日) 04:11 (差异 | 历史) . . (+19) . . Rich Internet Application
- 2010年8月15日 (日) 04:08 (差异 | 历史) . . (+7) . . 沙盒
- 2010年8月15日 (日) 04:01 (差异 | 历史) . . (-189) . . 沙盒
分享您的观点