欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache Usergrid 是一个面向web和移动应用的多租户 Backend-as-a-Service 堆栈，基于 RESTful APIs。
