欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
libcloud 是一个云计算统一接口。
libcloud 是一个面向主流云计算提供商的标准客户端库，使用 Python 和 Java 语言编写。
