欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Dubuntu
来自开放百科 - 灰狐
Dubuntu: The Ubuntu GNU/Linux for the software Developers.
dubuntu 是一个创建于 ubuntu GNU/Linux 基础之上的增强版本，
主要提供了默认情况下中文化及软件开发工具的良好支持。
它的大部分软件包来自 ubuntu 的官方软件仓库，完全可以使用
ubuntu 的软件仓库为 dubuntu 安装新的软件及进行系统更新。
分享您的观点
