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
51 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] MSFP 2022 - Call for Papers, Max New, 12/15/2021
- [Coq-Club] [2nd CfP] ICLP 2022 - The 38th International Conference on Logic Programming, Víctor Pérez, 12/16/2021
- [Coq-Club] Formally verified logging libraries?, Talia Ringer, 12/17/2021
- Re: [Coq-Club] Formally verified logging libraries?, John Sarracino, 12/17/2021
- [Coq-Club] ETAPS Doctoral Dissertation Award: Call for Nominations, Ralf Jung, 12/17/2021
- [Coq-Club] Translation of Euclid's book 1 from GeoCoq, Yoan, 12/17/2021
- Re: [Coq-Club] [🔴 CfP - Grammatical Sheaf Cohomology] 2nd ItaCa Workshop, DONNIE BRASCO, 12/18/2021
- [Coq-Club] Assistant Professor of Software Technology (tenure track) at Radboud University, Robbert Krebbers, 12/22/2021
- [Coq-Club] Trends in Functional Programming in Education 2022 3rd (last) call for submissions, Elena Machkasova, 12/27/2021
- [Coq-Club] CFP: ThEdu'22, Joao Marcos, 12/27/2021
- [Coq-Club] ETAPS Test of Time Award 2022, call for nominations, Tarmo Uustalu, 12/28/2021
- [Coq-Club] That time we proved False in Coq, Marco Servetto, 12/28/2021
- Re: [Coq-Club] That time we proved False in Coq, public, 12/28/2021
- Re: [Coq-Club] That time we proved False in Coq, Mario Carneiro, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, Abhishek Anand, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, Jason Gross, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, Mario Carneiro, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, roux cody, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, Jason Gross, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, Yannick Forster, 12/30/2021
- Re: [Coq-Club] That time we proved False in Coq, Pierre-Marie Pédrot, 12/31/2021
- Re: [Coq-Club] That time we proved False in Coq, Mario Carneiro, 12/29/2021
- Re: [Coq-Club] That time we proved False in Coq, public, 12/28/2021
Archive powered by MHonArc 2.6.19+.