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.

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).

Last updated: Aug 14 2022 at 12:03 UTC