/coq-hurry-notes

notes from "Coq in a hurry"

Primary LanguageCoq

coq-hurry-notes

Notes from "Coq in a Hurry", which introduces the Coq proof assistant.

The output included in the comments largely comes from vscoq