Prof. Thomas Hales - Lessons learned from the Formal Proof of the Kepler Conjecture

The University of Edinburgh is already on Lumen; this upload was never considered before. Channel treated as academic (strict check, default pass); title passed a strict per-title check and a final strict pass; oEmbed verified.

A 64-minute video from The University of Edinburgh: “Prof. Thomas Hales - Lessons learned from the Formal Proof of the Kepler Conjecture”.

Video by The University of Edinburgh, played through YouTube's embedded player.