TY  - RPRT
TI  - Game Hopping in Lean
AU  - Stefan Dziembowski
AU  - Grzegorz Fabiański
AU  - Daniele Micciancio
AU  - Rafał Stefański
PY  - 2026
UR  - https://arxiv.org/abs/2608.06261
ID  - 2608.06261
ER  -