TY  - RPRT
TI  - A formalization of Borel determinacy in Lean
AU  - Sven Manthe
PY  - 2026
DO  - 10.46298/afm.15202
UR  - https://arxiv.org/abs/2502.03432
ID  - 2502.03432
ER  -