coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Zhang Hengruo <hengruo.z AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] A tutorial about writing Coq plugins
Date: Tue, 27 Sep 2016 15:07:56 +0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hengruo.z AT gmail.com; spf=Pass smtp.mailfrom=hengruo.z AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f178.google.com
Ironport-phdr: 9a23:fRJXRBLN4KbgvfOPm9mcpTZWNBhigK39O0sv0rFitYgXLf7xwZ3uMQTl6Ol3ixeRBMOAuqgC0rad6vq5ESxYuNDa7yBEKMQNHzY+yuwo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9ScbuiJG80Pn38JnOaS1JgiC8aPV8NkaYtwLU4/sWiI1tYoY8zBTTv3wAL+Rbw2xyOFXVjT7z486x+Nho9CEG6KFpzNJJTaivJ/dwdrdfFjlza20=

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

[Coq-Club] A tutorial about writing Coq plugins, Zhang Hengruo, 09/27/2016