@misc{indiciae8c8b4bee5a4a,
  title = {Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda},
  author = {Jackson Brough},
  year = {2026},
  url = {https://arxiv.org/abs/2604.24782},
  note = {Source identifier: 2604.24782}
}