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