欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
UserLinux
来自开放百科 - 灰狐
UserLinux was a project to create a Linux distribution based on Debian, and targeted at business customers. The goal was to provide businesses with a freely available, high quality operating system accompanied by certifications, service, and support options; advantages which, the initiator felt, Debian itself cannot offer.
The project was initiated by Bruce Perens in late 2003. As of 2006, the project has not been able to ship any software, and all activity has ceased.
External links
分享您的观点