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
2011/12
121 mails
Pages navigation :
chronological Thread << < page # 1/5 > >>
- [Coq-Club] JFLA 2012, Assia Mahboubi
- Re: [Coq-Club] Should eauto progress leaving non-instantiated existential variables?, Pierre Courtieu
- [Coq-Club] A small tutorial (attempt) about "advanced" induction, Emmanuel Polonowski
- CPDT Troll Warning (Re: [Coq-Club] Identity with Rpower?), David Leduc
- [Coq-Club] PLPV 2012: Call for participation, Nikhil Swamy
- [Coq-Club] Converting Orders.OrderedType to OrderedType.OrderedType?, brandon_m_moore
- Re: [Coq-Club] Converting Orders.OrderedType to OrderedType.OrderedType?, Pierre Courtieu
- <Possible follow-ups>
- Re: Re: [Coq-Club] Converting Orders.OrderedType to OrderedType.OrderedType?, brandon_m_moore
- Re: [Coq-Club] Converting Orders.OrderedType to OrderedType.OrderedType?, Pierre Letouzey
- Re: [Coq-Club] records, Arnaud Spiwack
- Re: [Coq-Club] records, AUGER Cédric
- [Coq-Club] survey on Coq interfaces, Aaron Stump
- Re: [Coq-Club] survey on Coq interfaces,
Mihai ANDRIES
- Re: [Coq-Club] survey on Coq interfaces,
Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces, Mihai ANDRIES
- Re: [Coq-Club] survey on Coq interfaces, Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces, Marco Servetto
- Re: [Coq-Club] survey on Coq interfaces, Ramana Kumar
- Re: [Coq-Club] survey on Coq interfaces, Marco Servetto
- Re: [Coq-Club] survey on Coq interfaces,
Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces,
Mihai ANDRIES
- [Coq-Club] How to model environments?, Jonas Oberhauser
- Re: [Coq-Club] How to model environments?,
gallais @ ensl.org
- Re: [Coq-Club] How to model environments?, Jonas Oberhauser
- Re: [Coq-Club] How to model environments?,
gallais @ ensl.org
- [Coq-Club] TURING CENTENARY CONFERENCE, CiE Conference Series
- [Coq-Club] Heterogeneous relations in Coq, Lucian M. Patcas
- Re: [Coq-Club] Heterogeneous relations in Coq, Damien Pous
- [Coq-Club] WSLST 2012: 3rd announcement, GRLMC
- [Coq-Club] ISSPA'2012 special session: Application of signal processing in geometric modelling and processing., Sebti Foufou
- [Coq-Club] Impredicative Set and Records, Jelle
- Re: [Coq-Club] Impredicative Set and Records,
Adam Chlipala
- Re: [Coq-Club] Impredicative Set and Records, Gert Smolka
- Re: [Coq-Club] Impredicative Set and Records,
Adam Chlipala
Archive powered by MhonArc 2.6.16.