欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
- 2012年1月19日 (四) 14:21 (差异 | 历史) . . (+3,882) . . 新 用户:Handy ausspionieren Aa8 (以内容'Explanation why should that person spy at the mobile phone. In the the past few years in the formation of economic movable cordless computer software, some individuals as...'创建新页面) (最后更改)
分享您的观点