coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Vincent Siles <vincent.siles AT ens-lyon.org>
- To: Coq-Club Club <coq-club AT inria.fr>
- Subject: [Coq-Club] a question about CIC/Coq consistency
- Date: Tue, 27 Sep 2011 17:50:13 +0200
Hi everyone,
I just bumped into this [1] and since I don't know much about CIC
consistency proofs,
I was wondering if it relied on peano consistency or not ?
Cheers,
Vincent
[1] http://www.cs.nyu.edu/pipermail/fom/2011-September/015816.html
- [Coq-Club] a question about CIC/Coq consistency, Vincent Siles
- Re: [Coq-Club] a question about CIC/Coq consistency, roconnor
- Re: [Coq-Club] a question about CIC/Coq consistency, Vladimir Voevodsky
- Re: [Coq-Club] a question about CIC/Coq consistency, Cody Roux
- <Possible follow-ups>
- Re: [Coq-Club] a question about CIC/Coq consistency, Benjamin Werner
Archive powered by MhonArc 2.6.16.