欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Amazon EC2 Container Service：一个可高度扩展，高性能的容器管理服务，支持 Docker 容器。
