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
2011/11
481 mails
Pages navigation :
chronological Thread << < page # 11/17 > >>
- 11/11/15
- [Coq-Club] focus on current goal, Gert Smolka
- Re: [Coq-Club] Specifying fields of a base class?, Andrej Bauer
- Re: [Coq-Club] focus on current goal, Beta Ziliani
- Re: [Coq-Club] focus on current goal, Pierre Boutillier
- Re: [Coq-Club] One more deficiency of Coq?, Matthieu Sozeau
- Re: [Coq-Club] focus on current goal, Gert Smolka
- [Coq-Club] First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics, Johan Jeuring
- Re: [Coq-Club] "Guarded" command?, Alexandre Pilkiewicz
- [Coq-Club] belongs to..., franck . barbier
- Re: [Coq-Club] belongs to..., Adam Chlipala
- Re: [Coq-Club] One more deficiency of Coq?, Victor Porton
- Re: [Coq-Club] One more deficiency of Coq?, Matthieu Sozeau
- Re: [Coq-Club] "Guarded" command?, AUGER Cedric
- [Coq-Club] Proof General load path, Victor Porton
- [Coq-Club] What is missing in my proof?, Victor Porton
- [Coq-Club] I proved this with tactics but can't do it with declarative proof, Victor Porton
- 11/11/16
- Re: [Coq-Club] Proof General load path, Lucian M. Patcas
- [Coq-Club] Non-uniform parameters in inductive definitions?, Peter LeFanu Lumsdaine
- [Coq-Club] Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14, Achim D. Brucker
- Re: [Coq-Club] Non-uniform parameters in inductive definitions?, Matthieu Sozeau
- Re: [Coq-Club] Proof General load path, Victor Porton
- Re: [Coq-Club] Proof General load path, Jelle Herold
- [Coq-Club] Equivalence of propositions, Victor Porton
- Re: [Coq-Club] Non-uniform parameters in inductive definitions?, Bruno Barras
- Re: [Coq-Club] "Guarded" command?, Bruno Barras
- Re: [Coq-Club] Non-uniform parameters in inductive definitions?, roconnor
- Re: [Coq-Club] Proof General load path, Pierre Courtieu
- Re: [Coq-Club] "Guarded" command?, AUGER Cedric
- Re: [Coq-Club] Non-uniform parameters in inductive definitions?, Bruno Barras
- Re: [Coq-Club] I proved this with tactics but can't do it with declarative proof, Alan Pogrebinschi
Archive powered by MhonArc 2.6.16.