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 # 1/5 > >>
- 12/07/28
- 12/07/30
- 12/08/01
- Re: [Coq-Club] Proof irrelevance for Z.le, Pierre-Marie Pédrot
- [Coq-Club] Proof irrelevance for nat.le, Daniel Schepler
- Re: [Coq-Club] Extraction with OCaml strings, Alan Schmitt
- 12/08/02
- [Coq-Club] Unifying proof goals, Jason Gross
- Re: [Coq-Club] Unifying proof goals, AUGER Cédric
- [Coq-Club] Partially applied types and sort-polymorphism, Jason Gross
- 12/08/03
- [Coq-Club] Postdoc position in the FP7 CerCo Project, Claudio Sacerdoti Coen
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Arnaud Spiwack
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Jason Gross
- [Coq-Club] Postdoc position in the FP7 CerCo Project, Paolo Tranquilli
- [Coq-Club] Call for Participation: Implementation and Application of Functional Languages 2012, Tom Harper
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Arnaud Spiwack
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Vladimir Voevodsky
- Re: [Coq-Club] Partially applied types and sort-polymorphism, Adam Chlipala
- 12/08/04
- [Coq-Club] TPNC 2012: 2nd call for posters, GRLMC
- [Coq-Club] reasoning out of type equalities, Aleks Nanevski
- Re: [Coq-Club] reasoning out of type equalities, Kristopher Micinski
- Re: [Coq-Club] reasoning out of type equalities, Chung-Kil Hur
- [Coq-Club] GAMES 2012 -- Call for participation --, Nello Murano
- Re: [Coq-Club] reasoning out of type equalities, Vladimir Voevodsky
- 12/08/05
- Re: [Coq-Club] reasoning out of type equalities, Aleksandar Nanevski
- Re: [Coq-Club] reasoning out of type equalities, andré hirschowitz
- Re: [Coq-Club] reasoning out of type equalities, Aleksandar Nanevski
- Re: [Coq-Club] reasoning out of type equalities, Vladimir Voevodsky
- Re: [Coq-Club] reasoning out of type equalities, Aleksandar Nanevski
- Re: [Coq-Club] reasoning out of type equalities, Vladimir Voevodsky
- Re: [Coq-Club] reasoning out of type equalities, Aleksandar Nanevski
- Re: [Coq-Club] reasoning out of type equalities, Adam Chlipala
Archive powered by MHonArc 2.6.18.