欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板:0 A.D. (video game)
《0 A.D.》是跨平台的历史题材开源3D即时战略游戏,风格类似于帝国时代系列游戏。