欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
id Tech 是一个开源(GPL)游戏引擎家族。
其中，id Tech 3引擎和虚幻引擎，Source引擎是在世界上使用最广泛的游戏引擎。
