欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EasyStack 成立于 2014 年 2 月 , 由中国最早从事 OpenStack 研发的 IBM 中国研发中心的核心团队创建，基于 OpenStack、Ceph、Kubernetes、Docker 等一系列开源软件为企业级客户提供开放、稳定可靠、高性能的云计算产品与服务。
