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
2019/02
91 mails
Chronological Thread << < page # 2/4 > >>
- Re: [Coq-Club] help please with development in Coq, (continued)
- Re: [Coq-Club] help please with development in Coq, Gaëtan Gilbert, 02/05/2019
- Re: [Coq-Club] help please with development in Coq, Jason -Zhong Sheng- Hu, 02/05/2019
- [Coq-Club] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA, Peter Achten, 02/05/2019
- [Coq-Club] TABLEAUX 2019 (London) call for papers, Andrei Popescu, 02/05/2019
- [Coq-Club] PhD Positions on Verified Mathematics at VU Amsterdam, Jasmin Blanchette, 02/05/2019
- [Coq-Club] WiL 2019: Women in Logic Workshop Call for Papers, Amy Felty, 02/05/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Gert Smolka, 02/06/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Laurent Thery, 02/06/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Laurent Thery, 02/06/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Pierre Courtieu, 02/06/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Jason -Zhong Sheng- Hu, 02/06/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Matthieu Sozeau, 02/07/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Pierre Courtieu, 02/11/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Matthieu Sozeau, 02/11/2019
- Re: [Coq-Club] Equations 1.2beta is out!, Pierre Courtieu, 02/06/2019
- [Coq-Club] Multiple Research Positions, IMDEA Software Institute, Madrid, Spain, Aleksandar Nanevski, 02/07/2019
- [Coq-Club] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions), Peter Achten, 02/08/2019
- [Coq-Club] Automation for division over nat, Gert Smolka, 02/09/2019
- Re: [Coq-Club] Automation for division over nat, Laurent Thery, 02/09/2019
- Re: [Coq-Club] Automation for division over nat, Bas Spitters, 02/09/2019
- Re: [Coq-Club] Automation for division over nat, Gert Smolka, 02/09/2019
- Re: [Coq-Club] Automation for division over nat, Laurent Thery, 02/09/2019
- [Coq-Club] 2nd Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019, Keiko Nakata, 02/10/2019
- [Coq-Club] Understanding why Qed is slow, Jason -Zhong Sheng- Hu, 02/11/2019
- Re: [Coq-Club] Understanding why Qed is slow, Matthieu Sozeau, 02/11/2019
- Re: [Coq-Club] Understanding why Qed is slow, Jason -Zhong Sheng- Hu, 02/12/2019
- Re: [Coq-Club] Understanding why Qed is slow, Matthieu Sozeau, 02/11/2019
- [Coq-Club] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019, Natarajan Shankar, 02/12/2019
- [Coq-Club] [ANN] Mtac2 1.1 is out!, Jan-Oliver Kaiser, 02/12/2019
- [Coq-Club] Announcement: Launch of a Coq Discourse forum, Théo Zimmermann, 02/12/2019
- Re: [Coq-Club] Announcement: Launch of a Coq Discourse forum, Théo Zimmermann, 02/14/2019
- [Coq-Club] Third Call for Papers: PACMPL issue ICFP 2019, Sam Tobin-Hochstadt, 02/13/2019
- [Coq-Club] Call for Submissions: ICFP Student Research Competition, Sam Tobin-Hochstadt, 02/13/2019
Archive powered by MHonArc 2.6.18.