coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] Coq Quick Reference available, Tony Sloane, 12/12/2012
- Re: [Coq-Club] Coq Quick Reference available, Kristopher Micinski, 12/12/2012
- Re: [Coq-Club] Coq Quick Reference available, Tony Sloane, 12/13/2012
- Re: [Coq-Club] Coq Quick Reference available, Kristopher Micinski, 12/12/2012
Archive powered by MHonArc 2.6.18.