欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Project Atomic 是 Red Hat 发起的面向 Docker 容器应用的轻量级操作系统项目，类似 CoreOS。
$ vagrant init centos/atomic-host && vagrant up --provider virtualbox
