Zulip Chat Archive
Stream: Lean Together 2025
Topic: Christian Merten: Formalizing the Bruhat-Tits tree
Kim Morrison (Jan 18 2025 at 10:51):
https://www.youtube.com/watch?v=tpHJtUVesTs&list=PLlF-CfQhukNlzXdQvu1SVt9vcD4--fLlg&index=23
Last updated: May 02 2025 at 03:31 UTC