欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
PC-BSD
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 PC-BSD Thanks, Wikipedia. |
PC-BSD is a free operating system with ease of use in mind. Like any modern system, you can listen to your favorite music, watch your movies, work with office documents and install your favorite applications with a setup wizard at a click.
桌面
链接
分享您的观点