欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
猎人(Hunter)
奥术射击
寻找猎物
森林狼
炽炎蝙蝠
狂野怒火
猎人印记
神勇弓箭手
结网蛛
走私货物
追踪术
雄斑虎
假死
军备宝箱
冰冻陷阱
召唤宠物
子弹上膛