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/07
271 mails
Chronological Thread << < page # 8/10 > >>
- 14/07/25
- Re: [Coq-Club] Designing [info] again, Jonathan
- Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), Jason Gross
- [Coq-Club] beta expansion of part of goal, Jonathan
- Re: [Coq-Club] beta expansion of part of goal, Jason Gross
- Re: [Coq-Club] beta expansion of part of goal, Cedric Auger
- Re: [Coq-Club] beta expansion of part of goal, Jonathan
- Re: [Coq-Club] beta expansion of part of goal, Jonathan
- Re: [Coq-Club] Function that transforms types, Daniel Schepler
- [Coq-Club] Coq's typehood rules as a sequent calculus?, Abhishek Anand
- 14/07/26
- 14/07/27
- Re: [Coq-Club] making evars easier to solve, Gregory Malecha
- Re: [Coq-Club] making evars easier to solve, Jonathan
- [Coq-Club] Rewrite does not work, Marcus Ramos
- Re: [Coq-Club] Rewrite does not work, Jonathan
- Re: [Coq-Club] Rewrite does not work, AUGER Cédric
- Re: [Coq-Club] Rewrite does not work, Jonathan
- 14/07/28
- Re: [Coq-Club] Rewrite does not work, Pierre-Marie Pédrot
- Re: [Coq-Club] Coq's typehood rules as a sequent calculus?, Arnaud Spiwack
- Re: [Coq-Club] Coq's typehood rules as a sequent calculus?, Arnaud Spiwack
- Re: [Coq-Club] making evars easier to solve, Gregory Malecha
- Re: [Coq-Club] Coq's typehood rules as a sequent calculus?, Randy Pollack
- Re: [Coq-Club] making evars easier to solve, Jonathan
- Re: [Coq-Club] Symmetry does not work with <>, Marcus Ramos
- 14/07/29
- [Coq-Club] Local Canonical Structures instances, Jason Gross
- Re: [Coq-Club] Rewrite does not work, Marcus Ramos
- Re: [Coq-Club] Rewrite does not work, Cedric Auger
- Re: [Coq-Club] Rewrite does not work, Enrico Tassi
- [Coq-Club] problem to prove associativity law with n parameters, coqcdp
- Re: [Coq-Club] problem to prove associativity law with n parameters, Jonathan
Archive powered by MHonArc 2.6.18.