coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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