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