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 # 4/6 > >>
- 11/06/23
- 11/06/24
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Pierre Courtieu
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Bruno Barras
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Georgi Guninski
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Adam Chlipala
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Pierre-Yves Strub
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Pierre-Yves Strub
- [Coq-Club] Call for participation: CICM 2011, Bertinoro, Italy, July 18-23, 2011., Josef Urban
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Daniel Schepler
- Re: [Coq-Club] Why is it wrong to declare a proven theorem as axiom?, Daniel Schepler
- 11/06/25
- [Coq-Club] Is the Daniel Schepler's inconsistency real?, Georgi Guninski
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Adam Chlipala
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Georgi Guninski
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Adam Chlipala
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, gallais @ ensl.org
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Georgi Guninski
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Adam Chlipala
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Georgi Guninski
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Adam Chlipala
- [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, Daniel Schepler
- Re: [Coq-Club] Is the Daniel Schepler's inconsistency real?, Mathieu Boespflug
- Re: [Coq-Club] Missing chapter headings in the reference manual, Jelle Herold
- 11/06/26
- Re: [Coq-Club] Re: Is the Daniel Schepler's inconsistency real?, Daniel Schepler
- 11/06/27
- [Coq-Club] inductive-coinductive ??, Vladimir Voevodsky
- Re: [Coq-Club] Missing chapter headings in the reference manual, Robert Solovay
- [Coq-Club] Asking about dependence type, Ly Kim Quyen (Gwenhael)
- Re: [Coq-Club] inductive-coinductive ??, Andreas Abel
- Re: [Coq-Club] inductive-coinductive ??, Paolo Herms
- Re: [Coq-Club] Asking about dependence type, gallais @ ensl.org
Archive powered by MhonArc 2.6.16.