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
2012/08
121 mails
Chronological Thread << < page # 2/5 > >>
- 12/08/05
- Re: [Coq-Club] reasoning out of type equalities, Aleksandar Nanevski
- Re: [Coq-Club] reasoning out of type equalities, andré hirschowitz
- 12/08/06
- [Coq-Club] sigma types in category theory, Jason Gross
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Jason Gross
- Re: [Coq-Club] reasoning out of type equalities, Vladimir Voevodsky
- Re: [Coq-Club] sigma types in category theory, Arnaud Spiwack
- [Coq-Club] non-failing version of [change _ with _ in *]?, Jason Gross
- Re: [Coq-Club] non-failing version of [change _ with _ in *]?, Adam Chlipala
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Adam Chlipala
- [Coq-Club] Call for Participation: HOPE 2012, Amal Ahmed
- 12/08/07
- Re: [Coq-Club] sigma types in category theory, Eduardo Ochs
- [Coq-Club] Paco: A Coq library supporting "cofix" without guardedness checking, Chung-Kil Hur
- Re: [Coq-Club] Building coq on windows, Pierre Letouzey
- Re: [Coq-Club] Building coq on windows, Adam Chlipala
- Re: [Coq-Club] Building coq on windows, Pierre Letouzey
- Re: [Coq-Club] sigma types in category theory, Michael Shulman
- 12/08/08
- Re: [Coq-Club] Building coq on windows, Jason Gross
- [Coq-Club] Call for Participation: LFMTP'12, Adam Chlipala
- [Coq-Club] Release candidate of Coq 8.4, Hugo Herbelin
- Re: [Coq-Club] Release candidate of Coq 8.4, Victor Porton
- Re: [Coq-Club] Release candidate of Coq 8.4, Karn Kallio
- Re: [Coq-Club] Release candidate of Coq 8.4, Hugo Herbelin
- 12/08/09
- Re: [Coq-Club] Release candidate of Coq 8.4, Jason Gross
- [Coq-Club] GandALF 2012 -- Call for participation --, Nello Murano
- [Coq-Club] Pattern matching on hypotheses of certain types, Jason Gross
- Re: [Coq-Club] Pattern matching on hypotheses of certain types, Adam Chlipala
- Re: [Coq-Club] Pattern matching on hypotheses of certain types, Thomas Braibant
- 12/08/12
- [Coq-Club] Release of Coq V8.4, Hugo Herbelin
- [Coq-Club] FSFLA 2012: 3rd announcement, GRLMC
- 12/08/14
- Re: [Coq-Club] Simplest example of impredicative Prop?, Altenkirch Thorsten
Archive powered by MHonArc 2.6.18.