欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ForPlay:一个跨平台的基于Google Web Toolkit(GWT)的开源游戏抽象库,由 Google 开发,支持 Java 桌面、Android、HTML5、Flash 平台。