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
2012/12
121 mails
Chronological Thread << < page # 1/5 > >>
- 12/12/03
- [Coq-Club] Prect_succ not matching, S3
- Re: [Coq-Club] Prect_succ not matching, AUGER Cédric
- [Coq-Club] Foundation of Mathematics for Computer-Aided Formalization, Claudio Sacerdoti Coen
- Re: [Coq-Club] Unable to do "induction ... eqn:..", Vincent BENAYOUN
- Re: [Coq-Club] Unable to do "induction ... eqn:..", Greg Morrisett
- [Coq-Club] TABLEAUX 2013 - Call for Papers, Tutorials and Workshops, Dominique Larchey-Wendling
- 12/12/04
- [Coq-Club] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2013, Erik Ernst
- [Coq-Club] PLMW: Mentoring at POPL. Second Call for Participation, Gareth Smith
- [Coq-Club] Working with existentials, Lucian M. Patcas
- Re: [Coq-Club] Working with existentials, gallais
- Re: [Coq-Club] Working with existentials, Justus Matthiesen
- 12/12/05
- [Coq-Club] proj1 and proj2 opaque, AUGER Cédric
- [Coq-Club] a question when defining the inductive type, Liang Dou
- Re: [Coq-Club] a question when defining the inductive type, Jacques-Henri Jourdan
- [Coq-Club] CONCUR 2013 - First call for papers, Damian Barsotti
- [Coq-Club] QEST 2013 - First call for papers, Damian Barsotti
- [Coq-Club] CONCUR 2013 - Call for affiliated workshops, Damian Barsotti
- 12/12/06
- Re: [Coq-Club] proj1 and proj2 opaque, Andreas Abel
- [Coq-Club] 1st CfP: ACCESS 2013 || July 21 - 26, 2013 - Nice, France, ACCESS 2013
- [Coq-Club] 1st CfP: INTERNET 2013 || July 21 - 26, 2013 - Nice, France, INTERNET 2013
- Re: [Coq-Club] Working with existentials, Lucian M. Patcas
- [Coq-Club] Scheme Extraction, Gregory Malecha
- Re: [Coq-Club] Unable to do "induction ... eqn:..", Vincent BENAYOUN
- [Coq-Club] 1st CfP: ICWMC 2013 || July 21 - 26, 2013 - Nice, France, ICWMC 2013
- [Coq-Club] Dundee Fellowships (Computational Logic/Functional Programming), Ekaterina Komendantskaya
- 12/12/07
- Re: [Coq-Club] Performing tactics on each of the matched hypothesis, Thomas Braibant
- [Coq-Club] an unimportant philosophical question about coq_makefile, Pierre Boutillier
- Re: [Coq-Club] an unimportant philosophical question about coq_makefile, Pierre Courtieu
- 12/12/08
- [Coq-Club] Difficulty proving that function obeys property, kennethadammiller
- Re: [Coq-Club] Difficulty proving that function obeys property, AUGER Cédric
Archive powered by MHonArc 2.6.18.