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
2010/02
61 mails
Pages navigation :
chronological Thread << < page # 1/3 > >>
- 10/01/27
- [Coq-Club] LAST CFP : TAP 2019 (test and proof), Catherine Dubois
- 10/02/01
- Re: [Coq-Club] Ltac-matching a "match..with", Jean.Duprat
- 10/02/02
- 10/02/03
- Re: [Coq-Club] A question about pattern matching, geng chen
- Re: [Coq-Club] A question about pattern matching, Pierre Casteran
- [Coq-Club] ICALP 2010: Submission Deadline: Feb 10, 2010, Nicolas Bonichon
- [Coq-Club] Typeclasses and type abbreviations, anyone?, Adam Koprowski
- [Coq-Club] REMINDER: submission deadline Feb 10, 2010, Pierre Casteran
- Re: [Coq-Club] Typeclasses and type abbreviations, anyone?, Matthieu . Sozeau
- 10/02/04
- [Coq-Club] An interesting example using Heq, Chung Kil Hur
- Re: [Coq-Club] An interesting example using Heq, Adam Chlipala
- Re: [Coq-Club] An interesting example using Heq, Chung Kil Hur
- 10/02/05
- [Coq-Club] Call for papers: User Interfaces for Theorem Provers, UITP 2010, Claudio Sacerdoti Coen
- [Coq-Club] Well-founded recursion stuck on opaque proofs., Vilhelm Sjöberg
- 10/02/07
- [Coq-Club] Call for Papers: Haskell Symposium 2010, Jeremy . Gibbons
- 10/02/08
- Re: [Coq-Club] Well-founded recursion stuck on opaque proofs., Thomas Braibant
- 10/02/09
- [Coq-Club] Calculemus 2010: Second Call for Papers, david . delahaye
- 10/02/10
- [Coq-Club] Defining type of a subset of natural numbers, Nadeem Abdul Hamid
- Re: [Coq-Club] Defining type of a subset of natural numbers, Carsten Varming
- Re: [Coq-Club] Defining type of a subset of natural numbers, Adam Chlipala
- Re: [Coq-Club] Defining type of a subset of natural numbers, Yves Bertot
- Re: [Coq-Club] Defining type of a subset of natural numbers, Adam Koprowski
- 10/02/11
- Re: [Coq-Club] Defining type of a subset of natural numbers, Hugo Herbelin
- [Coq-Club] Axiom setoideq_eq inconsistent?, Robin Green
- Re: [Coq-Club] Axiom setoideq_eq inconsistent?, Matthieu Sozeau
- 10/02/12
- [Coq-Club] PLMMS 2010 Call for Papers, Lucas Dixon
- 10/02/14
Archive powered by MhonArc 2.6.16.