/coq_notebook

This repostory will house the notes and assignments as I learn coq from the book: "Basics: functional programming with coq"

Primary LanguageCoq

No issues in this repository yet.