Maximilian Doré : Automating Reasoning in Cubical Type Theory External Video-URL https://www.youtube.com/watch?v=-qJP3yq3pnU Preview-Image