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
2013/12
241 mails
Chronological Thread << < page # 1/9 > >>
- 13/12/01
- [Coq-Club] A simple proof of Gödel's Incompleteness Theorem, Chung-Kil Hur
- Re: [Coq-Club] A simple proof of Gödel's Incompleteness Theorem, Louis Garde
- Re: [Coq-Club] A simple proof of Gödel's Incompleteness Theorem, Chung-Kil Hur
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, David MENTRÉ
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Abhishek Anand
- 13/12/02
- [Coq-Club] AI4FM 2014: Call for Short Contributions, Iain Whiteside
- [Coq-Club] Announcement: dblib, a de Bruijn index library, Francois Pottier
- Re: [Coq-Club] Posting my first bigger stuff (for experience/training), Ilmārs Cīrulis
- Re: [Coq-Club] Announcement: dblib, a de Bruijn index library, J. Ian Johnson
- [Coq-Club] How to use test-suite?, kirill.t256
- Re: [Coq-Club] Announcement: dblib, a de Bruijn index library, Pierre Boutillier
- Re: [Coq-Club] How to use test-suite?, Pierre Boutillier
- [Coq-Club] PhD positions in Nottingham, Altenkirch Thorsten
- 13/12/03
- Re: [Coq-Club] [Agda] Defining Coq(w/o Prop) in Agda using Induction Recursion, Edwin Westbrook
- [Coq-Club] Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA), Peter Höfner
- Re: [Coq-Club] How to use test-suite?, Beta Ziliani
- Re: [Coq-Club] [Agda] Defining Coq(w/o Prop) in Agda using Induction Recursion, Nils Anders Danielsson
- [Coq-Club] [TFP 2014] 1st Call For Papers, Peter Achten
- Re: [Coq-Club] How to use test-suite?, Kirill Taran
- [Coq-Club] Rewriting inside fixpoint, Ilmārs Cīrulis
- Re: [Coq-Club] Rewriting inside fixpoint, Beta Ziliani
- [Coq-Club] Fwd: Rewriting inside fixpoint, Beta Ziliani
- Re: [Coq-Club] Rewriting inside fixpoint, Vincent
- [Coq-Club] Installing SSReflect, Marcus Ramos
- [Coq-Club] Work on basic combinatorics in proof assistants?, Adam Chlipala
- Re: [Coq-Club] Work on basic combinatorics in proof assistants?, Maxime Dénès
- 13/12/04
- Re: [Coq-Club] Rewriting inside fixpoint, Ilmārs Cīrulis
- Re: [Coq-Club] Rewriting inside fixpoint, Ilmārs Cīrulis
- [Coq-Club] PLMW: Mentoring at POPL. Second Call for Participation, Alan Schmitt
- Re: [Coq-Club] Installing SSReflect, Beta Ziliani
Archive powered by MHonArc 2.6.18.