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 > >>
- 21/12/16
- 21/12/17
- [Coq-Club] Formally verified logging libraries?, Talia Ringer
- [Coq-Club] IJCAR 2022 - Call for Papers, Andrei Popescu
- [Coq-Club] ETAPS Doctoral Dissertation Award: Call for Nominations, Ralf Jung
- Re: [Coq-Club] Formally verified logging libraries?, John Sarracino
- [Coq-Club] Translation of Euclid's book 1 from GeoCoq, Yoan
- 21/12/18
- 21/12/22
- 21/12/27
- [Coq-Club] Trends in Functional Programming in Education 2022 3rd (last) call for submissions, Elena Machkasova
- [Coq-Club] CFP: ThEdu'22, Joao Marcos
- 21/12/28
- [Coq-Club] ETAPS Test of Time Award 2022, call for nominations, Tarmo Uustalu
- [Coq-Club] That time we proved False in Coq, Marco Servetto
- Re: [Coq-Club] That time we proved False in Coq, public
- 21/12/29
- Re: [Coq-Club] That time we proved False in Coq, Mario Carneiro
- Re: [Coq-Club] That time we proved False in Coq, Abhishek Anand
- Re: [Coq-Club] That time we proved False in Coq, Jason Gross
- Re: [Coq-Club] That time we proved False in Coq, Mario Carneiro
- Re: [Coq-Club] That time we proved False in Coq, roux cody
- Re: [Coq-Club] That time we proved False in Coq, Jason Gross
- 21/12/30
- Re: [Coq-Club] That time we proved False in Coq, Yannick Forster
- 21/12/31
- Re: [Coq-Club] That time we proved False in Coq, Pierre-Marie Pédrot
Archive powered by MHonArc 2.6.19+.