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
2008/02
64 mails
Pages navigation :
chronological Thread << < page # 1/3 > >>
- 08/02/01
- [Coq-Club] Fundamental theorem of arithmetic, sebastien . briais
- 08/02/02
- 08/02/04
- [Coq-Club] Calculemus 2008: Second Call for Papers., Freek Wiedijk
- 08/02/05
- [Coq-Club] Dealing with equivalence classes, Edsko de Vries
- Re: [Coq-Club] Inductive definitions that go through lists, Randy Pollack
- Re: [Coq-Club] Inductive definitions that go through lists, Yves Bertot
- 08/02/06
- Re: [Coq-Club] Inductive definitions that go through lists, Yves Bertot
- [Coq-Club] beginner problem, Birgit Fruth
- Re: [Coq-Club] beginner problem, Yves Bertot
- Re: [Coq-Club] beginner problem, Stephane Glondu
- 08/02/07
- [Coq-Club] Re: Dealing with equivalence classes, Adam Megacz
- Re: [Coq-Club] Re: Dealing with equivalence classes, Edsko de Vries
- [Coq-Club] 1st call for participation AFP 2008, The Netherlands, Pieter Koopman
- [Coq-Club] Rewritinig *one* occurrence using setoid rewriting, Edsko de Vries
- [Coq-Club] CALL FOR BIDS (TPHOLs'2009), Otmane Ait Mohamed
- Re: [Coq-Club] Re: Dealing with equivalence classes, Edsko de Vries
- Re: [Coq-Club] Re: Dealing with equivalence classes, Arnaud Spiwack
- 08/02/08
- [Coq-Club] Re: Dealing with equivalence classes, Adam Megacz
- Re: [Coq-Club] beginner problem, Birgit Fruth
- Re: [Coq-Club] Rewritinig *one* occurrence using setoid rewriting, Damien Pous
- Re: [Coq-Club] Rewritinig *one* occurrence using setoid rewriting, Edsko de Vries
- 08/02/09
- [Coq-Club] TTVSI call for participation, registration, and posters, Konrad Slind
- Re: [Coq-Club] beginner problem, Yves Bertot
- 08/02/11
- [Coq-Club] IMLA'08: Call for Papers, Aleks Nanevski
- 08/02/12
- [Coq-Club] MKM'08: Second Call for Papers, Serge Autexier
- 08/02/13
- [Coq-Club] Inductive elimination scheme, Nadeem Abdul Hamid
- 08/02/14
- [Coq-Club] is "(A<->B)->((F A)<->(F B))" provable ?, gang chen
- Re: [Coq-Club] is "(A<->B)->((F A)<->(F B))" provable ?, Vincent Aravantinos
- Re: [Coq-Club] is "(A<->B)->((F A)<->(F B))" provable ?, Robin Green
Archive powered by MhonArc 2.6.16.