TY  - RPRT
TI  - From Rules to Nash Equilibria: A Lean 4 Case Study in Game-Theoretic Analysis of a Competitive Trading Card Game
AU  - Arthur F. Ramos
AU  - Tulio Soria
PY  - 2026
UR  - https://arxiv.org/abs/2607.08692
ID  - 2607.08692
ER  -