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
2017/01
121 mails
Chronological Thread << < page # 2/5 > >>
- Re: [Coq-Club] making OPAM packages for different versions of Coq, (continued)
- Re: [Coq-Club] making OPAM packages for different versions of Coq, Beta Ziliani, 01/12/2017
- [Coq-Club] Proof general problem with Coq 8.4, Flávio L. C. de Moura, 01/13/2017
- <Possible follow-up(s)>
- [Coq-Club] Proof General problem with Coq 8.4, Flávio L. C. de Moura, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Pierre Courtieu, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Flávio L. C. de Moura, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Pierre Courtieu, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Flávio L. C. de Moura, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Pierre Courtieu, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Flávio L. C. de Moura, 01/13/2017
- Re: [Coq-Club] Proof General problem with Coq 8.4, Clément Pit--Claudel, 01/16/2017
- [Coq-Club] New release of CoLoR for Coq 8.6, Frédéric Blanqui, 01/13/2017
- [Coq-Club] CADE-26 Call for Papers, Geoff Sutcliffe, 01/13/2017
- [Coq-Club] TABLEAUX 2017 - Second Call for Papers, Cláudia Nalon, 01/13/2017
- [Coq-Club] iFM 2017: Call for Papers (13th Intl. Conference on integrated Formal Methods), submission open, Ingrid Chieh Yu, 01/16/2017
- [Coq-Club] TABLEAUX 2017 - 2nd Call for Papers, Geoff Sutcliffe, 01/17/2017
- [Coq-Club] DICE-FOPARA 2017: Call for Papers, Georg Moser, 01/17/2017
- [Coq-Club] Looking for Coq diffs for a project to make proof assistants less brittle, Talia Ringer, 01/17/2017
- Re: [Coq-Club] Looking for Coq diffs for a project to make proof assistants less brittle, Jason Gross, 01/17/2017
- Re: [Coq-Club] Looking for Coq diffs for a project to make proof assistants less brittle, Jason Gross, 01/17/2017
- Re: [Coq-Club] Looking for Coq diffs for a project to make proof assistants less brittle, Jason Gross, 01/20/2017
- Re: [Coq-Club] Looking for Coq diffs for a project to make proof assistants less brittle, Jason Gross, 01/17/2017
- Re: [Coq-Club] Looking for Coq diffs for a project to make proof assistants less brittle, Jason Gross, 01/17/2017
- [Coq-Club] ACL2 2017 Submission Deadline Extension, Warren A. Hunt Jr., 01/17/2017
- [Coq-Club] Curry-Howard isomorphism - Re: Henkin's paper "Completeness in the Theory of Types" (1950); Ramsey (and Chwistek), Ken Kubota, 01/18/2017
- [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Kosik, 01/18/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Abhishek Anand, 01/18/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Kosik, 01/18/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Kosik, 01/18/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Guillaume Melquiond, 01/18/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Kosik, 01/19/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Théo Zimmermann, 01/19/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Kosik, 01/19/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Maxime Dénès, 01/19/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Kosik, 01/18/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Abhishek Anand, 01/18/2017
Archive powered by MHonArc 2.6.18.