欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
G3
G3 engine,G3引擎,G3游戏引擎,简称G3。
为什么叫G3:重要的事重复三遍:Game, Game, Game, 所有G3 :)
G3官网