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