Coq Cheatsheet for Emacs!

This is really just something for myself, but by all means, if you can use it go ahead!
– and don’t be selfish about leaving your favourite shortcut in the comments!

See definition of a previously defined Lemma: – move the cursor to the lemma zxy and type
C-c C-a C-b
The mini-buffer will then display
About (default foo):
and you can hit return to see the definition in the *response* buffer

Go to a definition of a Lemma defined in the same buffer:
C-x 2 C-r zxy
to jump to the definition of zxy

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.