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 > >>
- [Coq-Club] LAST CFP : TAP 2019 (test and proof), Catherine Dubois
- Re: [Coq-Club] Ltac-matching a "match..with", Jean.Duprat
- [Coq-Club] How to understand "Declare" in a module?, Hai WAN
- Re: [Coq-Club] How to understand "Declare" in a module?, Adam Chlipala
- 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
- Re: [Coq-Club] Typeclasses and type abbreviations, anyone?, Matthieu . Sozeau
- [Coq-Club] REMINDER: submission deadline Feb 10, 2010, Pierre Casteran
- [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
- Re: [Coq-Club] An interesting example using Heq,
Adam Chlipala
- [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
- Re: [Coq-Club] Well-founded recursion stuck on opaque proofs., Thomas Braibant
- [Coq-Club] Call for Papers: Haskell Symposium 2010, Jeremy . Gibbons
- [Coq-Club] Calculemus 2010: Second Call for Papers, david . delahaye
- [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
- 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
- [Coq-Club] code duplication in ConCaT bcz of universe clash, Benedikt . AHRENS
- Re: [Coq-Club] Axiom setoideq_eq inconsistent?,
Matthieu Sozeau
- [Coq-Club] PLMMS 2010 Call for Papers, Lucas Dixon
- [Coq-Club] Coq pattern matching going crazy on me -> looks like a bug., Chris Dams
Archive powered by MhonArc 2.6.16.