Bas Spitters (Nov 16 2020 at 18:07): Bas Spitters (Nov 16 2020 at 18:07):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?
Cody Roux (Nov 16 2020 at 23:02):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: Jun 10 2023 at 06:31 UTC