Yves Bertot

  1. Title:
    Formalized mathematics: proofs of transcendence, especially pi
    Speaker:
    Yves Bertot

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