coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Christoph-Simon Senjak <christoph.senjak AT ifi.lmu.de>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] A tutorial about writing Coq plugins
- Date: Wed, 12 Oct 2016 00:25:22 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christoph.senjak AT ifi.lmu.de; spf=None smtp.mailfrom=christoph.senjak AT ifi.lmu.de; spf=None smtp.helo=postmaster AT acheron.ifi.lmu.de
- Ironport-phdr: 9a23:NTtgHhV79c3YtENvYGe/QzMlkYrV8LGtZVwlr6E/grcLSJyIuqrYZhKGt8tkgFKBZ4jH8fUM07OQ6PG6HzBZqs7b+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrr0p8SYO18ArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoX3pUfCuCiI+x4EOQZX3waNDU+49Suvh3eRyOO4GEdWyMYiElmGQ/AuTr6RJbqrizitq9G2SydO4XNQLY2UDfqu6xrUh7zlCAfN3gi/WfVg89Yjaxa5hakulpzztiHM8muKPNic/aFLpshTm1bU5MMDyE=
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
Archive powered by MHonArc 2.6.18.