coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] A tutorial about writing Coq plugins

From: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] A tutorial about writing Coq plugins
Date: Wed, 12 Oct 2016 12:41:11 +1100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm AT gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f54.google.com
Ironport-phdr: 9a23:CCjSzxalFRgdUW4Kjrcr4zf/LSx+4OfEezUN459isYplN5qZpsS6bnLW6fgltlLVR4KTs6sC0LuM9fy5EjBZqdbZ6TZZL8wKD0dEwewt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2a3IyL0LW5/ISWaAFVjhK8Z6lzJVO4t1b/rM4T1I5/KasqylPVo2RBYeUekWZ1Jl+Inwr9+c6q/dhi8iVMvtou8sdBVePxeKFuHu8QNygvL21gvJ6jjhLEVwbavnY=

Hi Christoph,

The link is https://hengruoz.github.io/2016/09/22/How-to-write-a-Coq-plugin/.

-Mukesh Tiwari

On Wed, Oct 12, 2016 at 9:25 AM, Christoph-Simon Senjak <christoph.senjak AT ifi.lmu.de> wrote:

Hi.

On 27.09.2016 09:07, Zhang Hengruo wrote:

Hi everyone,

I wrote a tutorial about writing plugins for Coq 8.5pl2. Here is link
: https://hengruoz.github.io/en/2016/09/22/How-to-write-a-Coq-plugin/.
Any suggestions are welcome.

Best,

Hengruo Zhang

The Link is 404. Is this still somewhere to be found?

Regards, Christoph-Simon Senjak

Re: [Coq-Club] A tutorial about writing Coq plugins, Christoph-Simon Senjak, 10/12/2016
- Re: [Coq-Club] A tutorial about writing Coq plugins, mukesh tiwari, 10/12/2016