欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Xenko Next-Level C# Game Engine, GPL v3 License.
在C#游戏领域，Xenko是Unity3D之外最好的开源选择。
Launcher
