欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Lkj107
来自开放百科 - 灰狐
Java 9 years
做过第三方开发平台、搜索引擎等
做过烟草、税务、质检、公安、电信、金融行业
兴趣:开发平台:OFBiz,工作流:Willow
E_Mail:[email protected]
城市:北京
QQ:27984840
分享您的观点