Document to explain Coq and Curry-Howard correspondence
Primary LanguageCoq
No issues in this repository yet.