LftCM2020: Building the topological hierarchy - Alex Best
LftCM2020: Building an algebraic hierarchy - Kevin Buzzard
[London Learning Lean] The Krull topology, by Sebastian Monnet
LftCM2020 welcome talk
Elyasheev Leibtag: Uniform spaces - part a
LftCM2020: Mathematics in Lean introduction - Patrick Massot
Elyasheev Leibtag: Uniform spaces - part b
Lean summer lectures 9/18 -- Category theory
Lean for the Curious Mathematician 2023 Basics
Lean Together 2021: Automatically generalising theorems using typeclasses in Lean
Kevin Buzzard (lecture 3/20) Automorphic Forms And The Langlands Program [2017]
Kevin Buzzard (lecture 4/20) Automorphic Forms And The Langlands Program [2017]
Kevin Buzzard (lecture 7/20) Automorphic Forms And The Langlands Program [2017]
Admilson Felix Pobre Barraco.
#Anitta #responde - bate papo trolagem - Thiui Costa(homenagem um das maiores cantoras brasileiras)
![[London Learning Lean] The Krull topology, by Sebastian Monnet](https://img.youtube.com/vi/AkmaHRyYJ4I/0.jpg)
![Kevin Buzzard (lecture 3/20) Automorphic Forms And The Langlands Program [2017]](https://img.youtube.com/vi/_4di81CzUt0/0.jpg)
![Kevin Buzzard (lecture 4/20) Automorphic Forms And The Langlands Program [2017]](https://img.youtube.com/vi/yCBajdS1gG8/0.jpg)
![Kevin Buzzard (lecture 7/20) Automorphic Forms And The Langlands Program [2017]](https://img.youtube.com/vi/cU56Cm5wX10/0.jpg)
