欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Gentoo Linux
来自开放百科 - 灰狐
Gentoo Linux采用Portage软件包管理机制，是一种可以针对任何应用和需要而自动优化和定制的特殊的Linux发行版。
相关链接
- http://www.gentoo.org/
- Gentoo 中文用户 http://gentoo.linuxsir.org/
分享您的观点
