LftCM2020: Differential geometry - Sebastien Gouëzel
Differential Geometry
LftCM2020: Calculus and integration - Yury Kudryashov
Emilio Minichiello --- Category Theory ∩ Differential Geometry.
Dmitri Alekseevsky, Differential Geometry of special rank 3 Vinberg cones...
FMM2021: Geometry in Lean, a report for mathematicians - Nicolò Cavalleri w/ Anthony Bordg
Formalized mathematics and differential topology - Patrick Massot - Lean in Lyon
Lean for the Curious Mathematician 2023 Differential Geometry
LftCM2020: Building the topological hierarchy - Alex Best
Differential Geometry of Connections 1
LftCM2020: Category theory - Scott Morrison
Differential geometry Lecture 02 (part 1)
LftCM2020 welcome talk
Differential Geometry: adapted frames for surfaces, 4-7-21 part 2
LftCM2020: Mathematics in Lean introduction - Patrick Massot
Important Tools to Understand Differential Geometry (How to Measure Magnitude of a Vector)
DGA - Intro to Manifolds
LftCM2020: Groups, rings, and fields - Johan Commelin
DIFFERNTIAL GEOMETRY - Quick Review on "Topological Spaces"
LftCM2020: Building an algebraic hierarchy - Kevin Buzzard
