欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
G3
来自开放百科 - 灰狐
G3
G3 engine,G3引擎,G3游戏引擎,简称G3。
目录 |
含义
为什么叫G3:重要的事重复三遍:Game, Game, Game, 所有G3 :)
愿景
路线图
路线一:
路线二:
组成
业务
文档
图集
链接
分享您的观点