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