欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo CentOS Team
来自开放百科 - 灰狐
组建 Huihoo CentOS Team，参与 CentOS 的开发、发行和技术支持工作。
目前，正在进行：
- OpenShift/Docker/Kubernetes/CentOS/Atomic 的灰狐PaaS搭建。
- 红帽企业 Linux 7.0 和 CentOS 7的研究、应用工作。
- 跟进 CentOS Atomic SIG，部署 CentOS Atomic Host。
- Huihoo CentOS Applications
小组成员
<discussion>characters_max=300</discussion>
分享您的观点
