欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BeatrIX
来自开放百科 - 灰狐
(版本间的差异)
(以内容'{{top news}} {{SeeWikipedia}} BeatrIX Linux是一份紧凑的操作系统(不到200MB),它面向那些期望简便、安全并且强于Microsoft Windows产品的办...'创建新页面) |
2010年9月28日 (二) 10:00的最后版本
您可以在Wikipedia上了解到此条目的英文信息 BeatrIX Thanks, Wikipedia. |
BeatrIX Linux是一份紧凑的操作系统(不到200MB),它面向那些期望简便、安全并且强于Microsoft Windows产品的办公和家庭用户,并且它能够运行在近十年来制造的任何IBM兼容PC机上。它可以作为自启动运行光盘使用,也可以安装到硬盘上。
目前此项目已停止开发。
分享您的观点