欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo Ubuntu Desktop Linux
来自开放百科 - 灰狐
替换 WinXP, 将Ubuntu更多带入PC桌面.
Huihoo为用户使用Ubuntu桌面版提供更多的技术支持和服务保障. 帮助更多用户和网吧部署Ubuntu, 自由使用Linux, 消除被微软法律诉讼的担忧.
Links
分享您的观点
