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