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 > >>
- 07/05/15
- Re: [Coq-Club] Are proofs of inductive properties finite?, jean-francois . monin
- Re: [Coq-Club] Unification with metavars, Adam Chlipala
- 07/05/16
- 07/05/17
- [Coq-Club] Are proofs of inductive properties finite?, Edsko de Vries
- 07/05/18
- 07/05/21
- Re: [Coq-Club] Are proofs of inductive properties finite?, Randy Pollack
- 07/05/23
- [Coq-Club] Types Summer School 07: Deadline for grants approaching, Claudio Sacerdoti Coen
- Re: [Coq-Club] Removing two axioms from Raxioms.v, Roland Zumkeller
- 07/05/24
- [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
- 07/05/25
- [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
- 07/05/30
- [Coq-Club] TPR 07 Call for participation, Gilles Dowek
- 07/05/31
- [Coq-Club] CfP OpenMath/MathML/JEM Workshop (deadline monday), Michael Kohlhase
Archive powered by MhonArc 2.6.16.