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
2020/12
91 mails
Chronological Thread << < page 1 / 4 > >>
- [Coq-Club] ITP 2021 : Second Call for Papers, Liron Cohen, 11/29/2020
- [Coq-Club] effects of revert, Jeremy Dawson, 12/01/2020
- Re: [Coq-Club] effects of revert, Gaëtan Gilbert, 12/01/2020
- [Coq-Club] FSCD 2021: Second Call for Workshop Proposals (deadline 6 Dec 2020), Carsten Fuhs, 12/01/2020
- [Coq-Club] module types and Ltac, jonikelee AT gmail.com, 12/03/2020
- Re: [Coq-Club] module types and Ltac, Jason Gross, 12/03/2020
- Re: [Coq-Club] module types and Ltac, Pierre-Marie Pédrot, 12/03/2020
- Re: [Coq-Club] module types and Ltac, jonikelee AT gmail.com, 12/03/2020
- [Coq-Club] ITP2021: Call for Workshops, itp2021-workshops, 12/03/2020
- [Coq-Club] PriSC 2021: call for participation and short talks, PriSC PC Chairs, 12/03/2020
- [Coq-Club] bazel setup/rules for Coq, Abhishek Anand, 12/05/2020
- [Coq-Club] Announcing Tactician 1.0 beta, Lasse Blaauwbroek, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Agnishom Chattopadhyay, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Laurent Thery, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Lasse Blaauwbroek, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Agnishom Chattopadhyay, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Lasse Blaauwbroek, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Laurent Thery, 12/06/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Agnishom Chattopadhyay, 12/07/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Lasse Blaauwbroek, 12/07/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Théo Zimmermann, 12/07/2020
- Re: [Coq-Club] Announcing Tactician 1.0 beta, Agnishom Chattopadhyay, 12/06/2020
- [Coq-Club] Lean Together 2021: January 4-7, Call for Participation, Rob Lewis, 12/07/2020
- [Coq-Club] About the -native-compiler flag and the coq-native opam package (to be released before Coq 8.13+beta1), Erik Martin-Dorel, 12/07/2020
- [Coq-Club] Ltac body involving a "with" clause, Petz, Adam Michael, 12/07/2020
- Re: [Coq-Club] Ltac body involving a "with" clause, Samuel Gruetter, 12/09/2020
- [Coq-Club] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021), Peter Achten, 12/08/2020
- [Coq-Club] Release of Coq 8.13+beta1, Enrico Tassi, 12/08/2020
- Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/09/2020
- Re: [Coq-Club] Release of Coq 8.13+beta1, Roger Witte, 12/09/2020
- Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/16/2020
- Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/09/2020
Archive powered by MHonArc 2.6.19+.