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
2018/10
91 mails
Chronological Thread << < page # 1/4 > >>
- 18/10/01
- [Coq-Club] libraries for setoids?, Jason -Zhong Sheng- Hu
- Re: [Coq-Club] proof about applying a function on each element of a list using automaton, Fritjof Bornebusch
- Re: [Coq-Club] Coq 8.8.2 is out!, Perry E. Metzger
- Re: [Coq-Club] proof about applying a function on each element of a list using automaton, Jason -Zhong Sheng- Hu
- 18/10/02
- [Coq-Club] Post-proceedings TYPES'18: Deadline extension, José Carlos Espírito Santo
- Re: [Coq-Club] proof about applying a function on each element of a list using automaton, Fritjof Bornebusch
- Re: [Coq-Club] proof about applying a function on each element of a list using automaton, Lily Chung
- Re: [Coq-Club] proof about applying a function on each element of a list using automaton, Fritjof Bornebusch
- [Coq-Club] Folklore ?, Pierre Casteran
- Re: [Coq-Club] Folklore ?, Dan Frumin
- Re: [Coq-Club] Folklore ?, Guillaume Melquiond
- [Coq-Club] A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics, geoff
- Re: [Coq-Club] Folklore ?, Shahab Tasharrofi
- Re: [Coq-Club] Folklore ?, sunil
- 18/10/03
- [Coq-Club] Proof on strong normalization of cic, Helmut Brandl
- Re: [Coq-Club] Folklore ?, Daniel Schepler
- Re: [Coq-Club] Proof on strong normalization of cic, William J. Bowman
- Re: [Coq-Club] Proof on strong normalization of cic, Helmut Brandl
- Re: [Coq-Club] Proof on strong normalization of cic, Bas Spitters
- Re: [Coq-Club] Folklore ?, Valentin Blot
- Re: [Coq-Club] Proof on strong normalization of cic, Stefan Monnier
- Re: [Coq-Club] Folklore ?, Thorsten Altenkirch
- [Coq-Club] [ACL2-2018] Second Call For Participation: Registration Open!, Shilpi Goel
- [Coq-Club] PLMW@POPL19: Call for Scholarship Applications, Michael Greenberg
- Re: [Coq-Club] libraries for setoids?, John Wiegley
- Re: [Coq-Club] structural specification of where to unfold, Samuel Gruetter
- Re: [Coq-Club] libraries for setoids?, Bas Spitters
- 18/10/04
- Re: [Coq-Club] Proof on strong normalization of cic, Thorsten Altenkirch
- [Coq-Club] Problem using Coq-equations in a polymorphic setting., Yves Bertot
- [Coq-Club] Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine, Joelle Despeyroux
Archive powered by MHonArc 2.6.18.