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
2021/01
121 mails
Chronological Thread << < page 1 / 5 > >>
- [Coq-Club] CPP 2021: Call for Participation and Lightning Talks, Andrei Popescu, 12/22/2020
- [Coq-Club] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021), Peter Achten, 01/04/2021
- [Coq-Club] FSCD 2021: Second Call for Papers, Carsten Fuhs, 01/04/2021
- [Coq-Club] CFP: Theorem-Proving Components for Educational Software (ThEdu'21), Joao Marcos, 01/04/2021
- [Coq-Club] Research assistant/associate position at Imperial College London, Lorenzo Gheri, 01/04/2021
- Re: [Coq-Club] [Coq] [Using Coq] avoiding type error, Jeremy Dawson, 01/05/2021
- [Coq-Club] ITP2021: Second Call for Workshops (Deadline 11 January 2021), itp2021-workshops, 01/05/2021
- [Coq-Club] Can an Ltac2 tactic modify a top-level Ltac2 array?, jonikelee AT gmail.com, 01/05/2021
- Re: [Coq-Club] Can an Ltac2 tactic modify a top-level Ltac2 array?, Pierre-Marie Pédrot, 01/05/2021
- Re: [Coq-Club] Can an Ltac2 tactic modify a top-level Ltac2 array?, jonikelee AT gmail.com, 01/06/2021
- Re: [Coq-Club] Can an Ltac2 tactic modify a top-level Ltac2 array?, Pierre-Marie Pédrot, 01/06/2021
- Re: [Coq-Club] Can an Ltac2 tactic modify a top-level Ltac2 array?, jonikelee AT gmail.com, 01/06/2021
- Re: [Coq-Club] Can an Ltac2 tactic modify a top-level Ltac2 array?, Pierre-Marie Pédrot, 01/05/2021
- [Coq-Club] Call for Papers: Tests and Proofs 2021 (TAP 2021), Frederic Loulergue, 01/06/2021
- [Coq-Club] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13), Andrei Popescu, 01/06/2021
- [Coq-Club] Moore state machine output function for every new state, Fritjof Bornebusch, 01/07/2021
- Re: [Coq-Club] Moore state machine output function for every new state, Dominique Larchey-Wendling, 01/07/2021
- Re: [Coq-Club] Moore state machine output function for every new state, Jim Fehrle, 01/07/2021
- Re: [Coq-Club] Moore state machine output function for every new state, Dominique Larchey-Wendling, 01/07/2021
- [Coq-Club] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021), Peter Achten, 01/08/2021
- [Coq-Club] F-IDE 2021 - 2nd Call for Papers, Andrei Paskevich, 01/08/2021
- [Coq-Club] ring tatic on Z with positives, Abhishek Anand, 01/08/2021
- Re: [Coq-Club] ring tatic on Z with positives, Frédéric Besson, 01/08/2021
- [Coq-Club] solving Qc inequalities, Abhishek Anand, 01/08/2021
- Re: [Coq-Club] solving Qc inequalities, Frédéric Besson, 01/08/2021
- Re: [Coq-Club] solving Qc inequalities, Elias Castegren, 01/22/2021
- [Coq-Club] is there a metacoq email list?, jonikelee AT gmail.com, 01/09/2021
- Re: [Coq-Club] is there a metacoq email list?, Yannick Forster, 01/09/2021
- [Coq-Club] recursive call, Patricia Peratto, 01/10/2021
- Re: [Coq-Club] recursive call, Christian Doczkal, 01/10/2021
- Re: [Coq-Club] recursive call, Castéran Pierre, 01/10/2021
- Re: [Coq-Club] recursive call, Anton Trunov, 01/11/2021
- Re: [Coq-Club] recursive call, Christian Doczkal, 01/10/2021
- [Coq-Club] RAMiCS 2021 - CFP, luigi . santocanale, 01/11/2021
Archive powered by MHonArc 2.6.19+.