Andrew Appel

  1. Title:
    Introduction to the Coq Proof Assistant
    Speaker:
    Andrew Appel

    Link:
    https://www.ias.edu/video/univalent/appel