Links to the material we used during the tutorial:

- slides.pdf
- demo.v (requires Coq 8.4 and SSReflect 1.4)
- animation of the demo file produced by Proviola

- The companion paper in the proceedings of the ITP'13 conference
- The Mathematical Components project webpage: members, publications and downloads
- The coqdoc documentation of the Mathematical Components libraries
- The SSReflect extension manual
- The MAP Spring School webpage, with tutorial slides and exercices
- Subscribe to the SSReflect/Mathematical Components library user mailing list