Johan Commelin: Condensed Type Theory External Video-URL https://www.youtube.com/watch?v=d6rCe57swMc Preview-Image