coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2008/11
116 mails
Pages navigation :
chronological Thread << < page # 1/4 > >>
- 08/11/01
- [Coq-Club] proof_irrelevance question, Samuel E. Moelius III
- Re: [Coq-Club] proof_irrelevance question, Stéphane Glondu
- Re: [Coq-Club] proof_irrelevance question, Stéphane Glondu
- 08/11/03
- Re: [Coq-Club] how to make ring_nat available, Yves Bertot
- 08/11/04
- [Coq-Club] ECOOP 2009 Call for Papers, David . Clarke
- 08/11/05
- [Coq-Club] Call to Participation (In French), Pierre Casteran
- 08/11/06
- [Coq-Club] CALL FOR PAPERS: TPHOLs 2009, Christian Urban
- [Coq-Club] Inversion/injection/congruence wrt dependent pairs, Andrew Kennedy
- Re: [Coq-Club] Guide to Coq Sources, Ashish Darbari
- 08/11/07
- Re: [Coq-Club] Guide to Coq Sources, AUGER Cédric
- [Coq-Club] CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009, Makarius
- Re: [Coq-Club] Guide to Coq Sources, Adam Chlipala
- Re: [Coq-Club] Guide to Coq Sources, Stéphane Lescuyer
- [Coq-Club] An interesting reference, Pierre Lescanne
- Re: [Coq-Club] Guide to Coq Sources, Pierre Letouzey
- [Coq-Club] CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge, admmk09
- 08/11/09
- [Coq-Club] setoid_rewrite and constant unfolding, Mark Dickinson
- Re: [Coq-Club] setoid_rewrite and constant unfolding, Matthieu Sozeau
- Re: [Coq-Club] setoid_rewrite and constant unfolding, Mark Dickinson
- 08/11/11
- [Coq-Club] Re: Lists & Strings, Satrajit Roy
- Re: [Coq-Club] Lists & Strings, Stéphane Glondu
- Re: [Coq-Club] Lists & Strings, Satrajit Roy
- [Coq-Club] Fwd: Forward reference, Satrajit Roy
- [Coq-Club] How indicate decreasing recursion in this example., Serge Leblanc
- 08/11/12
- [Coq-Club] How indicate decreasing recursion in this example., Serge Leblanc
- Re: [Coq-Club] Fwd: Forward reference, AUGER Cédric
- [Coq-Club] WORKSHOP "STRUCTURAL PROOF THEORY" November 19-21 2008 PARIS, Stefano Berardi
- [Coq-Club] well founded induction computation, rouxcody
- [Coq-Club] How indicate decreasing recursion in this example., Serge Leblanc
- Re: [Coq-Club] How indicate decreasing recursion in this example., Pierre Casteran
Archive powered by MhonArc 2.6.16.