Evan Cavallo: Formalizing cubical interpretations of homotopy type theory External Video-URL https://youtu.be/0ERw4Elu9CY Preview-Image