coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andrej Bauer <andrej.bauer AT andrej.com>
- To: Benjamin Werner <benjamin.werner AT polytechnique.org>
- Cc: Coq-Club Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] a question about CIC/Coq consistency
- Date: Wed, 28 Sep 2011 15:05:14 +0200
> Coq is an extension of PA.
What does "extension" mean here?
With kind regards,
Andrej
- [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
- Re: [Coq-Club] a question about CIC/Coq consistency, Andrej Bauer
Archive powered by MhonArc 2.6.16.