欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SuperGamer
来自开放百科 - 灰狐
The SuperGamer Series started with PCLinuxOS and has matured to new levels. We are currently based upon VectorLinux with plans in the future to have our own code base. Our Gaming Livedvd is meant to showcase the Linux side of Gaming.
Screenshots
Links
分享您的观点
