GitHub repository: vlopezj/coq-course
Primary language: Coq
Created: 2016-10-18T13:53:52Z
Description: Coq course at Chalmers CSE