@misc{indiciae12cb6d320273,
  title = {A formalization of Borel determinacy in Lean},
  author = {Sven Manthe},
  year = {2026},
  doi = {10.46298/afm.15202},
  url = {https://arxiv.org/abs/2502.03432},
  note = {Source identifier: 2502.03432}
}