Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq Quick Reference available

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Quick Reference available


Chronological Thread 
  • From: Tony Sloane <inkytonik AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Coq Quick Reference available
  • Date: Wed, 12 Dec 2012 16:19:44 +1100

Hi everyone,

Over the course of the last year or so as I have read various Coq books,
reference manuals and tutorials I have taken some notes to help me keep track
of the many details I was learning.

These notes have gradually turned into a Coq Quick Reference that includes
entries for commonly used vernacular commands, tactics, library types and
definitions, and Ltac constructs.

Since the quick reference may be of use to others, I have made it available
here:

https://wiki.mq.edu.au/display/plrg/Resources

If you have any suggestions for bug fixes, additions, omissions or other
improvements, please don't hesitate to send them to me and I will try to
incorporate them.

regards,
Tony Sloane

Department of Computing
Macquarie University
Sydney, Australia




Archive powered by MHonArc 2.6.18.

Top of Page