欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Freeciv
来自开放百科 - 灰狐
Freeciv is a multiplayer strategy game, released under the GNU General Public License
Freeciv是著名的回合策略游戏Civilization(文明)的开源版本, 其规则构架与《文明2》基本相同, 并在游戏画面, 操作和联网上作了许多改进. 并且提供简体中文版.
图集
Links
分享您的观点