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/08
121 mails
Pages navigation :
chronological Thread << < page # 4/5 > >>
- 11/08/15
- Re: [Coq-Club] Error: The correctness of the conclusion relies on the body of b, Adam Chlipala
- [Coq-Club] (newbie) How to encode a set algebra, Stijn Timbermont
- Re: [Coq-Club] (newbie) How to encode a set algebra, Adam Chlipala
- Re: [Coq-Club] (newbie) How to encode a set algebra, Marco Servetto
- Re: [Coq-Club] (newbie) How to encode a set algebra, Adam Chlipala
- 11/08/16
- 11/08/17
- Re: [Coq-Club] A proof I'm having difficulty with, Adam Chlipala
- RE: [Coq-Club] A proof I'm having difficulty with, Kenneth Roe
- Re: [Coq-Club] (newbie) How to encode a set algebra, Stijn Timbermont
- Re: [Coq-Club] (newbie) How to encode a set algebra, Adam Chlipala
- [Coq-Club] VSTTE 2012: Final Call for Papers - Submission Deadline: August 31, Gudmund Grov
- [Coq-Club] Type of matched item, Jeffrey Terrell
- [Coq-Club] Type of matched item, Jeffrey Terrell
- Re: [Coq-Club] Type of matched item, Stéphane Glondu
- 11/08/18
- [Coq-Club] Proviola: A tool for proof re-animation, Carst Tankink
- Re: [Coq-Club] Type of matched item, Dimitri Hendriks
- Re: [Coq-Club] Type of matched item, David Baelde
- 11/08/19
- 11/08/21
- Re: [Coq-Club] Type of matched item, Jeffrey Terrell
- Re: [Coq-Club] Type of matched item, Adam Chlipala
- 11/08/23
- [Coq-Club] Preliminary announcement: CiE 2012 - Turing Centenary Conference, Cambridge, 18-23 June 2012, CiE Conference Series
- Re: [Coq-Club] Type of matched item, AUGER Cedric
- 11/08/24
- 11/08/25
- Re: [Coq-Club] [Coq Club]a strange question when using function, ldou
- Re: [Coq-Club] [Coq Club]a strange question when using function, Pierre Casteran
- Re: [Coq-Club] [Coq Club]a strange question when using function, ldou
- Re: [Coq-Club] [Coq Club]a strange question when using function, Pierre Casteran
- Re: [Coq-Club] [Coq Club]a strange question when using function, Adam Chlipala
Archive powered by MhonArc 2.6.16.