@misc{indiciae3f6287048a6f,
  title = {The irrationality exponent of the lemniscate period: A determinant proof with a Lean 4 formalization},
  author = {Gregory V. Chudnovsky},
  year = {2026},
  url = {https://arxiv.org/abs/2610.26539},
  note = {Source identifier: 2610.26539}
}