coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Question about documentation of Coq implementation

From: "Yosuke Yamamoto" <yoy553 AT cs.usask.ca>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Question about documentation of Coq implementation
Date: Wed, 10 Sep 2014 21:33:34 +0200

Thank you for the information. The documents in dev/doc seem helpful to read
on the Coq’s source code.

I am learning the code to get a better understanding of how tactics work
behind the Coq’s proof scripts.

Regards,
Yosuke

[Coq-Club] Question about documentation of Coq implementation, Yamamoto, Yosuke, 09/09/2014
- Re: [Coq-Club] Question about documentation of Coq implementation, Pierre-Marie Pédrot, 09/10/2014
  - Re: [Coq-Club] Question about documentation of Coq implementation, Yosuke Yamamoto, 09/10/2014