Skip to Content.

Sympa Menu

coq-club - Re: [Coq-Club] The rules of pCIC

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] The rules of pCIC

chronological Thread

From: Denis Cousineau <cousineau AT lix.polytechnique.fr>
To: Coq Club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club] The rules of pCIC
Date: Thu, 29 Oct 2009 13:01:04 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi Christian,
I am not sure that it answers your question but there exists a pdf version of the reference manual: http://coq.inria.fr/distrib/V8.1pl5/files/Tutorial.pdf

Denis

--
Denis Cousineau
http://www.denis.cousineau.eu

[Coq-Club] The rules of pCIC, Christian Doczkal
- Re: [Coq-Club] The rules of pCIC, Denis Cousineau

Archive powered by MhonArc 2.6.16.