欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
OpenKit 是一套面向游戏开发者的跨平台的服务,提供 iOS、Android SDK 和 Unity 游戏引擎插件,帮助开发者更容易的整合云服务到自己的游戏中,如: