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
2014/08
241 mails
Chronological Thread << < page # 4/9 > >>
- 14/08/07
- [Coq-Club] coq loadpath config, wenruimeng
- Re: [Coq-Club] coq loadpath config, Adam Chlipala
- [Coq-Club] Difference between [autounfold] and [repeat autounfold]?, Jason Gross
- [Coq-Club] Representation of mutable structures and work with it, Dmitry Grebeniuk
- 14/08/08
- [Coq-Club] CoqIDE: support high resolution displays on Windows 8.1, CJ Bell
- [Coq-Club] Can I prove equality of sigT given its condition?, John Wiegley
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, Arthur Azevedo de Amorim
- Re: [Coq-Club] Representation of mutable structures and work with it, Arnaud Spiwack
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, gallais
- Re: [Coq-Club] Elimination Rules, Terrell, Jeffrey
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, Adam Chlipala
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, Arthur Azevedo de Amorim
- Re: [Coq-Club] Elimination Rules, Abhishek Anand
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, John Wiegley
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, Daniel Schepler
- [Coq-Club] record and typeclass extraction, Kevin Sullivan
- Re: [Coq-Club] record and typeclass extraction, Kevin Sullivan
- 14/08/09
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, John Wiegley
- [Coq-Club] Call for Paper - ACM Student Research Competition at ICCAD 2014 (Deadline: August 15, 2014), Tsung-Yi Ho
- Re:[Coq-Club] problem to rewrite, coqcdp
- [Coq-Club] where can I get the four-color theorem source code, coqcdp
- Re: [Coq-Club] Elimination Rules, Vladimir Voevodsky
- [Coq-Club] Adding an already proved theorem to the context of a section, Christopher Ernest Sally
- 14/08/10
- [Coq-Club] Proof subtrees under Prop goal: always uninformative?, Jonathan
- Re: [Coq-Club] where can I get the four-color theorem source code, Enrico Tassi
- Re: [Coq-Club] where can I get the four-color theorem source code, Gabriel Scherer
- Re: [Coq-Club] Adding an already proved theorem to the context of a section, Johannes Kloos
- Re: [Coq-Club] Elimination Rules, Abhishek Anand
- 14/08/11
- Re: [Coq-Club] Elimination Rules, Andrej Bauer
- Re: [Coq-Club] Elimination Rules, Andrej Bauer
Archive powered by MHonArc 2.6.18.