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