Slides for Tsinghua Coq Summer School

For Bordeaux students

Slides in pdf (Yves Bertot, Pierre Castéran)

list of exercises

Links and useful information