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/12
41 mails
Pages navigation :
chronological Thread << < page # 1/2 > >>
- [Coq-Club] name of bound variables, Loïc Pottier
- [Coq-Club] Soutenance de thèse de Frédéric Gava, Frédéric Gava
- [Coq-Club] CMCS 2006, Neil X Ghani
- [Coq-Club] Exploiting variable binding of Coq for encoding lambda-calculus, Fabrice Lemercier
- [Coq-Club] 2nd Call: ESSLLI 2006 Student Session, Carlos Areces
- [Coq-Club] SEM - "Geometric Resolution" - 14/12/05 - Cachan - France, Steve Kremer
- [Coq-Club] ETAPS 2007 - Call for Satellite Events, joost . visser
- [Coq-Club] Postdoc position at Nijmegen (ROBIN project on OS verification), Erik Poll
- [Coq-Club] MKM 2006 First Call for Papers and Workshop Proposals, William Farmer
- [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Lionel Elie Mamane
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion,
roconnor
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion,
roconnor
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Bruno Barras
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Bruno Barras
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, kahl
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, Thery Laurent
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion, roconnor
- Re: [Coq-Club] Making a List into a Tree with Structural Recursion,
roconnor
- [Coq-Club] Difficulties explaining to Coq how to refine a dependent elimination, Stefan Monnier
- [Coq-Club]AMAST06 CFP (Feb closing date), Michael Johnson
- [Coq-Club] Can't get Coq to do the refinement I want in dependent elimination, Stefan Monnier
- [Coq-Club] [Tableaux2005] Special Issue of the Journal of Automated Reasoning, 2nd Call for papers, Gernot Stenz
- [Coq-Club] JFLA06 : Appel à partipation, Therese Hardin
Archive powered by MhonArc 2.6.16.