coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Init/Peano.v

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq-Club Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Init/Peano.v
Date: Thu, 19 May 2011 06:36:35 -0400

Sorry, I found it. Just my "find file" program was misbehaving.

V.

On May 19, 2011, at 6:26 AM, Vladimir Voevodsky wrote:

> Hello,
>
> where can I find the source (.v file ) for the basic library e.g.
> Init/Peano.v ? It does not appear to be in the usual sources.
>
> V.

Re: [Coq-Club] an update to "Univalent Foundations", Robin Green
- Re: [Coq-Club] an update to "Univalent Foundations", Vladimir Voevodsky
  - [Coq-Club] Init/Peano.v, Vladimir Voevodsky
    - Re: [Coq-Club] Init/Peano.v, AUGER Cedric
    - Re: [Coq-Club] Init/Peano.v, Vladimir Voevodsky
    - Re: [Coq-Club] Init/Peano.v, Tom Prince
      - Re: [Coq-Club] Init/Peano.v, Vladimir Voevodsky
- <Possible follow-ups>
- Re: [Coq-Club] an update to "Univalent Foundations", Bruno Barras
  - Re: [Coq-Club] an update to "Univalent Foundations", Tom Prince
    - Re: [Coq-Club] an update to "Univalent Foundations", Vladimir Voevodsky