Formalising the Bruhat-Tits Tree

arXiv:2505.12933v3 Announce Type: replace-cross Abstract: In this article we describe the formalisation of the Bruhat-Tits tree - an important tool in modern number theory - in the Lean Theorem Prover. Motivated by the goal of connecting to ongoing research, we apply our forma...

🔗 Read more: https://arxiv.org/abs/2505.12933

#News #Software #Math #Policy #Academic