欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放平台的类型 Open API
窗件 API
社交平台
开发工具
云计算
http://www.infoq.com/cn/articles/Qclub-on-open-platform