coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Gergely Buday <gbuday AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq Tutorial
Date: Thu, 11 Aug 2016 12:03:03 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gbuday AT gmail.com; spf=Pass smtp.mailfrom=gbuday AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f50.google.com
Ironport-phdr: 9a23:VEwMbRFtLBQN40RUw2XrJp1GYnF86YWxBRYc798ds5kLTJ75os2wAkXT6L1XgUPTWs2DsrQf2rOQ6/+rADFIoc7Y9itTKNoUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdazLE4Lfx/66y/q1s8WKJV4Z3XzlPvgrcV329VyX7ZhOx9M6a+4Y8VjgmjNwYeNYxGdldxq4vi3XwYOOxqNl6DlaoPk79sRNAu3QdqU8SqFEXnx9azhmrJ6jiR6WRgyWo3AYT28+kxxSAgGD4gupcI32t37Vu/By1S2LdefrQbklEWCt5bpnQQ7AhyIONjp/+2bS3J8jxJlHqQ6s8kQsi7XfZ5uYYaJz

Hi,

as an interactive tutorial

as a printable one. Is the latter up-to-date? If not, is there one to download and print?

- Gergely

[Coq-Club] Coq Tutorial, Gergely Buday, 08/11/2016
- Re: [Coq-Club] Coq Tutorial, James Smith, 08/11/2016
- Re: [Coq-Club] Coq Tutorial, mukesh tiwari, 08/12/2016