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