Mario Carneiro: Impromptu chat about HB in Lean External Video-URL https://www.youtube.com/watch?v=Utoz9Dnmfck Preview-Image