One of my students asked me for a quick reference for Coq. Turns out there are quite a few, but most somewhat outdated.
Do people have a favorite one?
I did write this, but it's not really a cheat sheet _per se_ (or even a tutorial).
Last updated: Aug 14 2022 at 12:03 UTC