欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
ADIOS: Automated Download and Installation of Operating Systems
ADIOS是基于Fedora的自启动运行及安装光盘，它支持User Mode Linux（UML）虚拟机，并带有Linux入侵检测系统（LIDS）和SELinux（Security Enhanced Linux）增强。该光盘包含了KDE桌面环境，它使用了压缩的回环文件系统。
