欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MonoGame 是一个Microsoft's XNA 4 APIs的OpenGL开源实现，开发者可使用它构建运行在 Android, iPhone, iPad, Mac OS X, Linux 和 PlayStation Suite、Windows Metro上的游戏，可重用所有运行在Xbox 360 或 Windows Phone 7上的XNA代码。
