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
139 mails
Chronological Thread << < page # 4/5 > >>
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, (continued)
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Jason Gross, 01/21/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Jason Gross, 01/21/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Gaetan Gilbert, 01/21/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matej Košík, 01/22/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Théo Zimmermann, 01/23/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Matthieu Sozeau, 01/23/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Clément Pit--Claudel, 01/22/2017
- Re: [Coq-Club] Why do we have "Prop < Set" ? Why not just "Prop ≤ Set" ?, Jason Gross, 01/22/2017
- [Coq-Club] DL 2017, Call for Papers, Geoff Sutcliffe, 01/18/2017
- [Coq-Club] CfP: FMCAD 2017 - Formal Methods in Computer Aided Design, Georg Weissenbacher, 01/18/2017
- [Coq-Club] FMCAD 2017 - Call for Papers, Geoff Sutcliffe, 01/18/2017
- [Coq-Club] Avoiding unnecessary universe variables when rewriting in Type, Ben Sherman, 01/19/2017
- Re: [Coq-Club] Avoiding unnecessary universe variables when rewriting in Type, Jason Gross, 01/19/2017
- [Coq-Club] JAR Special Issue on Automated Reasoning Systems, Geoff Sutcliffe, 01/19/2017
- [Coq-Club] print types in let bindings, Abhishek Anand, 01/19/2017
- Re: [Coq-Club] print types in let bindings, Hugo Herbelin, 01/20/2017
- [Coq-Club] [CSF-attendees] DeepSpec Summer School, July 13-28, 2017 -- call for applications, Benjamin C. Pierce, 01/19/2017
- [Coq-Club] Dealing with equalities in dependent types, Klaus Ostermann, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Dominique Larchey-Wendling, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Anton Trunov, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Klaus Ostermann, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Emilio Jesús Gallego Arias, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Anton Trunov, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Emilio Jesús Gallego Arias, 01/21/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Vadim Zaliva, 01/21/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Anton Trunov, 01/20/2017
- Re: [Coq-Club] Dealing with equalities in dependent types, Dominique Larchey-Wendling, 01/20/2017
- [Coq-Club] TYPES 2017 call for contributions, Ambrus Kaposi, 01/20/2017
- [Coq-Club] ETAPS 2017 call for participation, Tarmo Uustalu, 01/21/2017
- <Possible follow-up(s)>
- [Coq-Club] ETAPS 2017 call for participation, Tarmo Uustalu, 01/21/2017
- [Coq-Club] ITP 2017 - Second Call for Papers, Cláudia Nalon, 01/23/2017
Archive powered by MHonArc 2.6.18.