1 paper · 1 filter
Judith Ludwig, Christian Merten
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…