One of my students asked me for a quick reference for Coq. Turns out there are quite a few, but most somewhat outdated.

https://wiki.mq.edu.au/download/attachments/43058400/coqquickref-2up.pdf

https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html

http://adam.chlipala.net/itp/tactic-reference.html

https://www-sop.inria.fr/members/Yves.Bertot/courses/2019/cheatsheet.pdf

https://github.com/coq/coq/wiki/Quick-Reference-for-Beginners

Do people have a favorite one?

I *did* write this, but it's not really a cheat sheet _per se_ (or even a tutorial).

https://github.com/codyroux/broad-coq-tutorial/blob/master/tutorial.v

https://github.com/codyroux/broad-coq-tutorial/blob/master/tactic_cheatsheet.org

Last updated: Aug 14 2022 at 12:03 UTC