GitHub repository: DeepSpec/dsss17
Primary language: Coq
Description: Lecture material for DeepSpec Summer School 2017