An introduction to proving theorems and certifying programs with Coq.
Primary LanguageCoq
No issues in this repository yet.