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: Jun 10 2023 at 06:31 UTC