欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
- 2012年1月19日 (四) 14:20 (差异 | 历史) . . (+3,953) . . 新 用户:Handy ausspionieren Aa5 (以内容'The explanation why would definitely the person cordless at the cell phone. In the the past decade with the formulation of commercial portable mystery application, some i...'创建新页面) (最后更改)
分享您的观点