A Minimalistic Verified Bootstrapped Compiler (Proof Pearl) — The Shorter Version
Channel: Magnus Myreen
Date: 12/01/2021

The slightly longer version is here: https://www.youtube.com/watch?v=Ip6Y4O2T60Y