欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
用户贡献
- 2008年2月26日 (二) 04:43 (差异 | 历史) . . （+1） . . VirtualBox
- 2008年2月26日 (二) 04:42 (差异 | 历史) . . （-9） . . VirtualBox
- 2008年2月26日 (二) 04:40 (差异 | 历史) . . （+36） . . VirtualBox
- 2008年2月26日 (二) 04:38 (差异 | 历史) . . （+464） . . VirtualBox
分享您的观点
