欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenSolaris Indiana
Project Indiana is working towards creating a binary distribution of an operating system built out of the OpenSolaris source code. The distribution is a point of integration for several current projects on OpenSolaris.org, including those to make the installation experience easier, to modernize the look and feel of OpenSolaris on the desktop, and to introduce a network-based package management system into OpenSolaris.
The resulting distribution is a live-CD install image, and is fully permissible to be redistributed by anyone. It will also have the capability for developers to create their own, customized distribution based on Project Indiana.
