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
2022/06
61 mails
Chronological Thread << < page 1 / 3 > >>
- 22/06/01
- 22/06/02
- [Coq-Club] IJCAR-11 - Call for participation, geoff
- Re: [Coq-Club] Definition as opaque as Qed, mukesh tiwari
- [Coq-Club] Fwd: Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30), Mateus de Oliveira Oliveira
- Re: [Coq-Club] Definition as opaque as Qed, Li-yao Xia
- Re: [Coq-Club] Definition as opaque as Qed, Théo Zimmermann
- 22/06/05
- [Coq-Club] Custom Induction Principal for le_unique, mukesh tiwari
- Re: [Coq-Club] Custom Induction Principal for le_unique, Dominique Larchey-Wendling
- 22/06/06
- [Coq-Club] Call for STSMs, deadline 1 July 2022, Ambrus Kaposi
- Re: [Coq-Club] Custom Induction Principal for le_unique, mukesh tiwari
- 22/06/07
- [Coq-Club] ICFP 2022: Call for Tutorials, Panels, and Discussions, ICFP Publicity
- [Coq-Club] APLAS 2022 Call for Papers, Andreea Costea
- 22/06/08
- 22/06/09
- [Coq-Club] Interesting uses of Second order theorems in Coq proofs, kirang
- [Coq-Club] JFLA 2022 -- clotûre des pré-inscriptions le 10 juin, Chantal Keller
- [Coq-Club] Call for TYPES Steering Committee Nominations, Henning Basold
- [Coq-Club] Engineer and postdoc positions in France: proof assistant for crypto protocols, David Baelde
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Qinshi Wang
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, roux cody
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Lawrence Dunn
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Castéran Pierre
- 22/06/10
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, kirang
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, kirang
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, kirang
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Ken Kubota
- Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Steve Zdancewic
- [Coq-Club] ICLP 2022: Call for Participation, Víctor Pérez
Archive powered by MHonArc 2.6.19+.