欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Nutyx
来自开放百科 - 灰狐
NuTyX是为i686优化的法语Linux发行版, 它从Linux From Scratch和Beyond Linux From Scratch创建, 并带有借鉴自CRUX的包管理器. 该项目发布多个不同的形式, 包括一份安装光盘和DVD以及一份4 GB的自启动运行USB系统. 该发行主要面向讲法语的中级和高级Linux用户设计.
Links
分享您的观点
