/coq-hurry-notes

notes from "Coq in a hurry"

Primary LanguageCoq

Stargazers

No one’s star this repository yet.