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
2005/03
77 mails
Pages navigation :
chronological Thread << < page # 3/3 > >>
- [Coq-Club] Looking for an efficient implementation of simply typed lambda calculus, Sébastien Hinderer
- [Coq-Club] Omega and Zpos, roconnor
- [Coq-Club] ESSLLI 2005 - Registration now Open!, Carlos Areces
- [Coq-Club] generic tactic for autorewriting, anoun
- [Coq-Club] generate a lemma from a definition, Devisschere Yann
- Re: [Coq-Club] generate a lemma from a definition, Hugo Herbelin
- [Coq-Club] Complete a lemma with its proof (generation from a definition), Devisschere Yann
- [Coq-Club] Final CFP -- PDPAR'05 (Workshop on Pragmatics of Decision Procedures), Alessandro Cimatti
- [Coq-Club] ICLP 2005: Call for Papers, ICLP 2005
- [Coq-Club] Recursive call to ... had not enough arguments, David Monniaux
- [Coq-Club] induction on arbitrary-arity trees, David Monniaux
- Re: [Coq-Club] induction on arbitrary-arity trees, Christine Paulin
- Re: [Coq-Club] induction on arbitrary-arity trees, Hugo Herbelin
- [Coq-Club] PhD position in formal mathematics at RU Nijmegen, Freek Wiedijk
- [Coq-Club] LPAR-12 in Jamaica, geoff
- [Coq-Club] FLoC 2006 Preliminary Announcement, Kreutzer + Schweikardt
Archive powered by MhonArc 2.6.16.