欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
e3js: Node.js、Meteor、MongoDB 驱动的企业应用和电子商务平台，基于 Reaction Commerce 构建，采用 GNU GPL v3 和 Apache v2 许可协议。
