Talk page

Title:
Type Classes for Mathematical Formalizations in Coq

Speaker:
Matthieu Sozeau

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