GitHub repository: stepchowfun/coq-intro
Primary language: Coq
Created: 2018-06-04T07:20:53Z
Description: An introduction to proving theorems and certifying programs with Coq.