coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The rules of pCIC

From: Christian Doczkal <doczkal AT ps.uni-sb.de>
To: Coq Club <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] The rules of pCIC
Date: Thu, 29 Oct 2009 12:14:01 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello

I have been looking on the web without success. Is there any paper /
tech report that gives the precise rules of the pCIC as it is currently
implemented in Coq 8.2. (something like a latex version of Chapter 4
from the reference manual)

--
Regards
Christian Doczkal

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