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
2013/12
241 mails
Chronological Thread << < page # 6/9 > >>
- 13/12/13
- [Coq-Club] coq V8.4pl3, Pierre Boutillier
- 13/12/14
- [Coq-Club] From equality of foralls to equality of their bodies, Edwin Westbrook
- Re: [Coq-Club] From equality of foralls to equality of their bodies, Jason Gross
- Re: [Coq-Club] Deadline extended: FLOPS 2014 call for papers, Eijiro Sumii
- [Coq-Club] SSTiC 2014: December 21st, 1st registration deadline, GRLMC
- Re: [Coq-Club] Cannot install coqide-8.4pl2.dmg on Mac OSX 10.7.5, Terrell, Jeffrey
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Jacques-Henri Jourdan
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, AUGER Cédric
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Maxime Dénès
- 13/12/15
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Christine Paulin
- 13/12/16
- [Coq-Club] 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014, S B Cooper
- Re: [Coq-Club] CoqMT Guide?, Pierre-Yves Strub
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Cristóbal Camarero Coterillo
- [Coq-Club] why it does not work?, Vladimir Voevodsky
- Re: [Coq-Club] From equality of foralls to equality of their bodies, Edwin Westbrook
- Re: [Coq-Club] why it does not work?, Arnaud Spiwack
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Cristóbal Camarero Coterillo
- Re: [Coq-Club] From equality of foralls to equality of their bodies, Jason Gross
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Christine Paulin
- Re: [Coq-Club] From equality of foralls to equality of their bodies, Edwin Westbrook
- [Coq-Club] SBLP 2014 --- Call for Papers, Rodrigo Ribeiro
- [Coq-Club] SR 2014 - Extended Deadline and Last Call for Contributions, murano
- 13/12/17
- Re: [Coq-Club] From equality of foralls to equality of their bodies, Anthony Bordg
- RE: [Coq-Club] Propositional extensionality is inconsistent in Coq, Cristóbal Camarero Coterillo
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Christine Paulin
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Andrej Bauer
- 13/12/18
- RE: [Coq-Club] Propositional extensionality is inconsistent in Coq, Cristóbal Camarero Coterillo
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Bruno Barras
- [Coq-Club] Reporting Coq bugs?, Edwin Westbrook
- Re: [Coq-Club] Propositional extensionality is inconsistent in Coq, Vladimir Voevodsky
Archive powered by MHonArc 2.6.18.