@misc{indiciae5d28cc7a68a9,
  title = {Formalising the Bruhat-Tits Tree},
  author = {Judith Ludwig and Christian Merten},
  year = {2026},
  doi = {10.46298/afm.15738},
  url = {https://arxiv.org/abs/2505.12933},
  note = {Source identifier: 2505.12933}
}