Formalising the Bruhat-Tits Tree. - Judith Ludwig; Christian Merten (CoRR, 2025)