欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
用户贡献
- 2010年9月8日 (三) 08:59 (差异 | 历史) . . (+10,225) . . 开放百科 - 灰狐:当前事件 (医学杂志,医学论文,医学期刊,药学论文,中华医药论文,临床医学论文)
- 2010年9月7日 (二) 09:16 (差异 | 历史) . . (+10,806) . . 新 开放百科 - 灰狐:当前事件 (论文发表,发表论文,职称论文发表)
分享您的观点