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/06
151 mails
Pages navigation :
chronological Thread << < page # 1/6 > >>
- 11/05/28
- [Coq-Club] CFP: DBPL '11, Nate Foster
- 11/05/30
- 11/06/01
- [Coq-Club] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June, Marcus Aloysius Bezem
- 11/06/02
- 11/06/05
- [Coq-Club] "Transparent" module types, ala O'Caml?, frank maltman
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, Mathieu Boespflug
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, frank maltman
- 11/06/06
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, AUGER Cedric
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, Damien Pous
- [Coq-Club] VSTTE 2012 : First Call for Papers, Gudmund Grov
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, frank maltman
- 11/06/07
- [Coq-Club] PhD position on "Certified Compilation for High Level Parallel Programming", Frédéric Dabrowski
- Re: [Coq-Club] Confusing error rewriting by impl with result in propositional with parameter, Matthieu Sozeau
- Re: [Coq-Club] Confusing error rewriting by impl with result in propositional with parameter, Brandon Moore
- [Coq-Club] Trouble declaring a ring (or, how to tell ring b && b = b), brandon_m_moore
- 11/06/08
- [Coq-Club] Contradicting Zneg p >= 2, frank maltman
- Re: [Coq-Club] Contradicting Zneg p >= 2, Evgeny Makarov
- Re: [Coq-Club] Contradicting Zneg p >= 2, frank maltman
- [Coq-Club] Notation with "Type", Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type", AUGER Cedric
- Re: [Coq-Club] Notation with "Type", Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type", Mehdi Dogguy
- Re: [Coq-Club] Notation with "Type", Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type", Hugo Herbelin
- 11/06/09
- [Coq-Club] 1 < two_power_pos p, frank maltman
- 11/06/10
- [Coq-Club] Re: 1 < two_power_pos p, frank maltman
- [Coq-Club] Second CFP: Continuation Workshop 2011, Chung-chieh Shan
- [Coq-Club] Deadline June 17: ACM SIGPLAN Workshop on ML, Chung-chieh Shan
- 11/06/12
- [Coq-Club] Problem using Lemma as a coercion, Georgi Guninski
- Re: [Coq-Club] Problem using Lemma as a coercion, Adam Chlipala
Archive powered by MhonArc 2.6.16.