欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Consul 是一个高可用、分布式服务发现和K/V存储基础设施。
Consul和Apache ZooKeeper和etcd相似，提供服务发现，一致性和Leader选举的基础服务，Consul由HashiCorp开发维护。
