欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狗游戏
将 虚幻引擎 用于制作游戏、虚拟现实、广告、建筑、电影、教育。
参与韦诺之战在中文化、程序、运营推广方面的工作。
研发、运营H5和Native手游。
组建灰狗英雄联盟战队
组建灰狗皇室战争部落