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/04
91 mails
Chronological Thread << < page # 2/4 > >>
- 19/04/05
- Re: [Coq-Club] extract CompCert dependend type, Xavier Leroy
- [Coq-Club] Looking for a Coq tutor (Paris / remote), Gabriel Alfour
- [Coq-Club] FroCoS 2019 (London): second call for papers, Andrei Popescu
- 19/04/06
- RE: [Coq-Club] Int63, simplification and native computation, Soegtrop, Michael
- [Coq-Club] TABLEAUX 2019 (London): second call for papers, Andrei Popescu
- [Coq-Club] Automated creation of a sed script for replacing deprecated names, Soegtrop, Michael
- Re: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Jason Gross
- RE: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Soegtrop, Michael
- 19/04/07
- [Coq-Club] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper), Tim Willemse
- [Coq-Club] ltac error?, Jeremy Dawson
- Re: [Coq-Club] ltac error?, Jason -Zhong Sheng- Hu
- [Coq-Club] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence, Luca Pulina
- [Coq-Club] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence, Luca Pulina
- 19/04/08
- 19/04/09
- 19/04/10
- [Coq-Club] Call for Papers: 37th IEEE International Conference on Computer Design (ICCD'19), Miroslav Velev
- [Coq-Club] Call for Bids to host ITP 2021, O'Leary, John W
- [Coq-Club] Use a map in an inductive type, Nicolas Osborne
- Re: [Coq-Club] Use a map in an inductive type, Sylvain Boulmé
- [Coq-Club] CFP: 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019), New York City, 14 June 2019, Guy Katz
- [Coq-Club] "exists" Extraction, Morgan Sinclaire
- Re: [Coq-Club] "exists" Extraction, Helmut Brandl
- 19/04/11
- [Coq-Club] Call for Papers: Formal Methods Teaching Workshop and Tutorial, Claudio MENGHI
- Re: [Coq-Club] "exists" Extraction, Jason -Zhong Sheng- Hu
- Re: [Coq-Club] "exists" Extraction, mukesh tiwari
- Re: [Coq-Club] "exists" Extraction, Morgan Sinclaire
- Re: [Coq-Club] "exists" Extraction, Théo Zimmermann
- Re: [Coq-Club] "exists" Extraction, Morgan Sinclaire
Archive powered by MHonArc 2.6.18.