请竖屏使用
转回竖屏，即可继续当前操作。
RepoVerse
返回卡牌库
普通
FStar
A Proof-oriented Programming Language
ATK
2241
DEF
4096
RV
RepoVerse
FStarLang/FStar
普通 · 标准 · Genesis
A Proof-oriented Programming Language
攻击力
2,241
防御力
4,096
拖动卡牌调整角度，点击翻面查看卡背。
查看 GitHub
分享卡牌
打开卡牌页面
