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
2014/07
271 mails
Chronological Thread << < page # 7/10 > >>
- 14/07/24
- Re: [Coq-Club] Dot-qualifying, Cedric Auger
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jonathan
- [Coq-Club] Inductive definition and induction principle, Michel Levy
- Re: [Coq-Club] Inductive definition and induction principle, Matej Kosik
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Arnaud Spiwack
- Re: [Coq-Club] Inductive definition and induction principle, Arnaud Spiwack
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jonathan
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Arnaud Spiwack
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jonathan
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jason Gross
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jonathan
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jonathan
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jason Gross
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jonathan
- Re: [Coq-Club] Dot-qualifying, Kirill Taran
- [Coq-Club] LOPSTR 2014: Call for Participation, Maurizio Proietti
- 14/07/25
- Re: [Coq-Club] Dot-qualifying, Cédric
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Arnaud Spiwack
- [Coq-Club] Function that transforms types, Bruno Woltzenlogel Paleo
- Re: [Coq-Club] Function that transforms types, Arthur Azevedo de Amorim
- Re: [Coq-Club] Function that transforms types, Cedric Auger
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jason Gross
- [Coq-Club] Designing [info] again, Arnaud Spiwack
- Re: [Coq-Club] Designing [info] again, Jason Gross
- Re: [Coq-Club] Dot-qualifying, Vladimir Voevodsky
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Arnaud Spiwack
- [Coq-Club] CFP: MICAI 2014: keynotes Vapnik (SVM), Sowa (conceptual graphs), Liu (opinion mining), Castillo (fuzzy logic), MICAI 2014
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jason Gross
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Arnaud Spiwack
- Re: [Coq-Club] Designing [info] again, Adam Chlipala
Archive powered by MHonArc 2.6.18.