欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, Erlang/Haskell/C++
Mezzano
Mezzano：一个 Common Lisp 编写的操作系统。
