Basic ideas of functional programming, constructive logic, and the Coq proof assistant.
Primary LanguageCoq
No issues in this repository yet.