欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cocos2d 是一个开源的 2D 游戏框架。它有两个版本:一个用 Python 编写,一个用 Objective-C 编写面向 iOS 应用.