Freek Wiedijk: Even more on HOL Light (3)
About this video
From a channel a BrighterTube curator vetted · found via Round 4 discovery (unsure list, re-vetted by transcript) · 85% confidenceFrom a channel Lumen includes in full after transcript vetting: Research seminar talks and lecture courses, e.g. Bridson's conjugacy problem geometry lecture.
A 44-minute video from Hausdorff Center for Mathematics's catalogue; the title names its topic.
Video by Hausdorff Center for Mathematics, played through YouTube's embedded player.