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
2007/05
48 mails
Pages navigation :
chronological Thread << < page # 2/2 > >>
- Re: [Coq-Club] Are proofs of inductive properties finite?, (continued)
- Re: [Coq-Club] Are proofs of inductive properties finite?, jean-francois . monin
- Re: [Coq-Club] Are proofs of inductive properties finite?,
Eduardo Gimenez
- Re: [Coq-Club] Are proofs of inductive properties finite?, Randy Pollack
- Re: [Coq-Club] Are proofs of inductive properties finite?, Pierre Courtieu
- Re: [Coq-Club] Are proofs of inductive properties finite?, Gyesik Lee
- [Coq-Club] Are proofs of inductive properties finite?, Edsko de Vries
- [Coq-Club] FTP'07 Call for papers with deadline extension, ranise
- [Coq-Club] CFParticipation CADE21, Bremen July 17-20 (Early Bird: June 10), Michael Kohlhase
- [Coq-Club] Types Summer School 07: Deadline for grants approaching, Claudio Sacerdoti Coen
- [Coq-Club] Workshop on Mechanising Metatheory (WMM07): submission deadline approaches, Michael Norrish
- [Coq-Club] Usually solution for Coq's rewriting, Marko Malikoviæ
- [Coq-Club] RDP'07 Registration open until May 31, Ralf Treinen
- [Coq-Club] Colloquium in Honor of Gérard Huet, Gilles Dowek
- [Coq-Club] CfP: Formal Verification of Adaptive Systems (VerAS), Klaus Schneider
- [Coq-Club] FINAL CFP: The 2007 ACM SIGPLAN Workshop on ML (Final Call For Papers), Claudio Russo
- [Coq-Club] Call For Papers TGC'07, Gilles Barthe
- [Coq-Club] TPR 07 Call for participation, Gilles Dowek
- [Coq-Club] CfP OpenMath/MathML/JEM Workshop (deadline monday), Michael Kohlhase
Archive powered by MhonArc 2.6.16.