Notes from "Coq in a Hurry", which introduces the Coq proof assistant.
The output included in the comments largely comes from vscoq
Notes from "Coq in a Hurry", which introduces the Coq proof assistant.
The output included in the comments largely comes from vscoq