欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
法师(Mage)
冰冻药水
禁忌烈焰
冰枪术
呓语魔典
奥术冲击
奥术飞弹
暗金教侍从
法力浮龙
镜像
不稳定的传送门
冰爆
寒冰箭
巫师学徒
烈焰轰击
碎雪机器人
英雄之魂
邪教女巫