欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
G3
G3 engine，G3引擎，G3游戏引擎，简称G3。
G3：重要的事重复三次：Game, Game, Game, 所有G3 :)
G3引擎基于Xenko构建，C#语言驱动。
G3官网
