coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Ilmārs Cīrulis <ilmars.cirulis AT gmail.com>
To: Mitchell Buckley <mitchell.buckley AT mq.edu.au>, "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Posting my first bigger stuff (for experience/training)
Date: Mon, 2 Dec 2013 18:06:28 +0200

Hi, Mitchell. Thanks for real life example.

Yes, it is useful. I suppose that I will use it as my cheat sheet. :)

Best wishes,

Ilmars

P.S. Apologies for the late answer.

Re: [Coq-Club] Posting my first bigger stuff (for experience/training), Ilmārs Cīrulis, 12/02/2013