欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Apache Cordova 框架基于PhoneGap核心代码，该框架支持使用HTML、CSS和JavaScript来构建原生的移动应用。
