SoryRawyer / coq-hurry-notes

notes from "Coq in a hurry"

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