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
2003/12
13 mails
Pages navigation :
chronological Thread << < page # 1/1 > >>
- 03/12/02
- [Coq-Club] CfP Workshop of guarded logics ESSLLI'04, Natasha Alechina
- 03/12/07
- Re: [Coq-Club] Coq Poll: What are your preferred rational numbers ?, Russell O'Connor
- 03/12/12
- [Coq-Club] definition d'une bisimulation, Aurore Collomb
- Re: [Coq-Club] definition d'une bisimulation, Pierre Casteran
- Re: [Coq-Club] definition d'une bisimulation, Pierre Casteran
- 03/12/16
- [Coq-Club] ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS, Massimo Felici
- [Coq-Club] the Correctness tactic, Jean-Christophe Filliatre
- 03/12/17
- [Coq-Club] ijcar 2004: last call for papers, Maria Paola Bonacina
- 03/12/18
- [Coq-Club] dependent types and inversion, Dimitri Hendriks
- 03/12/22
- [Coq-Club] HOR'04: first call for abstracts, Femke van Raamsdonk
- [Coq-Club] CFP: TPHOLs 2004, Konrad Slind
- [Coq-Club] Call for bids: TPHOLs 2005, Konrad Slind
- 03/12/24
- [Coq-Club] dependent types and inversion, Conor McBride
Archive powered by MhonArc 2.6.16.