Matthieu Sozeau

  1. Title:
    Type Classes for Mathematical Formalizations in Coq
    Speaker:
    Matthieu Sozeau

    Link:
    https://www.ias.edu/video/math/stpm2012/sozeau