coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: types-list AT lists.seas.upenn.edu, Coq Club <coq-club AT inria.fr>
Cc: Vladimir Voevodsky <vladimir AT ias.edu>
Subject: [Coq-Club] question (cont.)
Date: Thu, 19 Jul 2012 10:44:47 -0400
Envelope-to: types-list AT lists.seas.upenn.edu, coq-club AT inria.fr, vladimir AT ias.edu

Sorry, I forgot to mention that there is also induction. V.

[Coq-Club] question (cont.), Vladimir Voevodsky, 07/19/2012
- [Coq-Club] Re: question (cont.), Vladimir Voevodsky, 07/19/2012
  - Re: [Coq-Club] Re: question (cont.), Cody Roux, 07/19/2012
  - Re: [Coq-Club] Re: question (cont.), Arnaud Spiwack, 07/20/2012
    - Re: [Coq-Club] Re: question (cont.), Jean Goubault-Larrecq, 07/20/2012
      - Re: [Coq-Club] Re: question (cont.), Cody Roux, 07/20/2012
        
        Re: [Coq-Club] Re: question (cont.), Jean Goubault-Larrecq, 07/20/2012
      - Re: [Coq-Club] Re: question (cont.), Jean Goubault-Larrecq, 07/20/2012