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