Formalising the Bruhat-Tits Tree
यह शोध पत्र लीन थ्योरम प्रूवर (Lean Theorem Prover) में ब्रुअत-टिट्स ट्री (Bruhat-Tits tree) के औपचारिककरण को प्रस्तुत करता है और ट्री पर हार्मोनिक कोचेन्स (harmonic cochains) से संबंधित एक परिणाम को सत्यापित करके इसकी उपयोगिता को प्रदर्शित करता है।