欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cockpit 是 Red Hat 开发的基于Web的服务器管理工具, Fedora 21 Server 中默认预装的服务器管理工具就是 Cockpit。
yum install cockpit
架构