欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
libcloud 开源云计算统一接口
libcloud 是一个面向主流云计算提供商的标准客户端库，支持超过50个云服务提供商，使用 Python 语言编写。
使用 Apache Libcloud 的厂商和项目
