欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
libgdx: Android、HTML5 跨平台游戏开发框架,使用 Java 和少量 C、C++ 语言编写,Apache v2许可协议。
支持 Windows, Linux, Mac OS X, Android, iOS, BlackBerry and web browsers with WebGL support。