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/01
22 mails
Pages navigation :
chronological Thread << < page # 1/1 > >>
- [Coq-Club]Post doc position available at Innsbruck, Clemens Ballarin
- [Coq-Club][Fwd: Appel a participation aux JFLA 2007], Pierre Casteran
- Re: [Coq-Club]Decreasing arguments for fixpoint definitions, David Pichardie
- [Coq-Club]TASE 2007: Call for Papers, Huibiaou Zhu
- [Coq-Club][CFP] RDP Workshop Proof Assistants and Types in Education, Pierre Courtieu
- [Coq-Club]Dependency visualizer, Brian E. Aydemir
- [Coq-Club]Second Call for Papers MKM-2007 (Mathematical Knowledge Management), mkm07
- [Coq-Club]CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission), Michael Kohlhase
- [Coq-Club]CAV 2007: Final Call for Papers, CAV 2007 Announce
- [Coq-Club]Tactic for removing infinite inductive types, Peter Hawkins
- [Coq-Club]2nd CFP: Workshop on Invariant Generation (WING 2007), RISC, Hagenberg, Austria, 25-26 June, 2007, Laura Kovacs
- [Coq-Club]Induction and tuple destruction, Peter Hawkins
- Re: [Coq-Club]Induction and tuple destruction, Adam Chlipala
- Re: [Coq-Club]Induction and tuple destruction, Jean-Marc Notin
- Re: [Coq-Club]Induction and tuple destruction, David Pichardie
- [Coq-Club]ETAPS 2007: Call for Participation, João Saraiva
- [Coq-Club]TYPES 2007 announce, TYPES 2007
- [Coq-Club]instantiating an inner existential, Keiko Nakata
- Re: [Coq-Club]instantiating an inner existential, roconnor
- Re: [Coq-Club]instantiating an inner existential,
Benjamin Werner
- Re: [Coq-Club]instantiating an inner existential,
Pierre Casteran
- Re: [Coq-Club]instantiating an inner existential, Benjamin Werner
- Re: [Coq-Club]instantiating an inner existential,
Pierre Casteran
Archive powered by MhonArc 2.6.16.