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/12
32 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] A style guide for Coq, Timothy Carstens, 12/01/2021
- Re: [Coq-Club] A style guide for Coq, Talia Ringer, 12/01/2021
- Re: [Coq-Club] A style guide for Coq, Talia Ringer, 12/01/2021
- Re: [Coq-Club] A style guide for Coq, Ana Borges, 12/01/2021
- Re: [Coq-Club] A style guide for Coq, Adam Chlipala, 12/01/2021
- Re: [Coq-Club] A style guide for Coq, Erik Martin-Dorel, 12/02/2021
- Re: [Coq-Club] A style guide for Coq, Maxime Dénès, 12/02/2021
- Re: [Coq-Club] A style guide for Coq, Ralf Jung, 12/02/2021
- Re: [Coq-Club] A style guide for Coq, Talia Ringer, 12/01/2021
- [Coq-Club] 16 Bit Unsigned Integer Library, mukesh tiwari, 12/02/2021
- Re: [Coq-Club] 16 Bit Unsigned Integer Library, Pierre-Yves Strub, 12/02/2021
- Re: [Coq-Club] 16 Bit Unsigned Integer Library, Xavier Leroy, 12/02/2021
- Re: [Coq-Club] 16 Bit Unsigned Integer Library, mukesh tiwari, 12/03/2021
- Re: [Coq-Club] 16 Bit Unsigned Integer Library, Ana Borges, 12/07/2021
- Re: [Coq-Club] 16 Bit Unsigned Integer Library, mukesh tiwari, 12/09/2021
- Re: [Coq-Club] 16 Bit Unsigned Integer Library, mukesh tiwari, 12/03/2021
- [Coq-Club] 10 PhD studentships in Nottingham, Graham Hutton, 12/02/2021
- [Coq-Club] Trends in Functional Programming in Education 2022 2nd call for submissions, Elena Machkasova, 12/02/2021
- [Coq-Club] Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris), Alexis Saurin IRIF, 12/03/2021
- [Coq-Club] IJCAR 2022 - Call for Papers, geoff, 12/06/2021
- <Possible follow-up(s)>
- [Coq-Club] IJCAR 2022 - Call for Papers, Andrei Popescu, 12/17/2021
- [Coq-Club] Faculty position at Portland State University, Andrew Tolmach, 12/08/2021
- [Coq-Club] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce, Luigia Petre, 12/08/2021
- [Coq-Club] Call for Workshop Proposals: ICFP 2022, Ilya Sergey, 12/08/2021
- [Coq-Club] PLDI 2022 Call for (Self-) Nomiation to Artifact Evaluation Committee, William J. Bowman (PLDI'22 Publicity Chair), 12/09/2021
- [Coq-Club] Call for Papers FUN 2022, Mosteiro, Miguel A., 12/09/2021
- [Coq-Club] Certified Programs and Proofs (CPP) 2022: Call for Participation, Steve Zdancewic, 12/09/2021
- [Coq-Club] ICGT 2022: Call for Papers, Daniel Strüber, 12/10/2021
- [Coq-Club] from FinType to Data Base, Alex Shkotin, 12/13/2021
- Re: [Coq-Club] from FinType to Data Base, Pierre Courtieu, 12/13/2021
- Re: [Coq-Club] from FinType to Data Base, Alex Shkotin, 12/13/2021
- Re: [Coq-Club] from FinType to Data Base, Pierre Courtieu, 12/13/2021
Archive powered by MHonArc 2.6.19+.