The Coq mailing list

[Kristopher Micinski <krismicinski AT gmail.com>]

Tony,

Thanks a lot, this looks really great!

Quick references are great for when you remember there's a tactic you
should be using but can't quite remember the name and don't want to
dig through the reference manual.

(Personally, I still use some random untitled page stuck away on Adam
Chlipala's website :-)...

Suggestion: the pdf lacks very much information density, is it
possible to reformat to take up fewer pages so (for example) it could
be printed out and stuck on a wall?

Bonus points for being able to format it in a nice HTML fashion and
view it that way: if you stuck up your sources somewhere (is it Word,
or just TeX formatted to look like that?) I could try to do this..

Kris

On Wed, Dec 12, 2012 at 12:19 AM, Tony Sloane 
<inkytonik AT gmail.com>
 wrote:
> 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
>