欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
OmniOS
来自开放百科 - 灰狐
(版本间的差异)
(以“OmniOS:基于 illumos 构建的自由、开放的操作系统。 ==链接== *[http://omnios.omniti.com/ OmniOS 官网] category:OpenSolaris”为内容创建页面) |
2013年1月20日 (日) 15:52的版本
OmniOS:基于 illumos 构建的自由、开放的操作系统。
链接
分享您的观点