欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
《风暴英雄》将颠覆你所认识的MOBA(Multiplayer Online Battle Arena,多人在线战术竞技游戏)!