Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean External Video-URL https://www.youtube.com/watch?v=GOrIMiI2zLA Preview-Image
