Tom Hales

  1. Title:
    The formal proof of the Kepler Conjecture
    Speaker:
    Tom Hales

    Link:
    https://video-archive.fields.utoronto.ca/view/4373