欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Apache Buildr 是面向Java应用的构建系统，支持 Scala, Groovy 等越来越多的JVM语言和工具，Apache Buildr 使用 Ruby编写，这也是Apache基金会孵化成功的第一个Ruby项目。
