Stream: Miscellaneous

Topic: Quick reference


view this post on Zulip 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?

view this post on Zulip 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: Aug 14 2022 at 12:03 UTC