coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Very slow failing apply

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Very slow failing apply
Date: Thu, 17 Aug 2017 18:18:14 +0200

On 17/08/2017 15:45, Robbert Krebbers wrote:
> Suggestions on avoiding this issue are very welcome!

What about using the 'simple apply' tactic instead? Is it too weak for
your use cases?

PMP

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Very slow failing apply, Robbert Krebbers, 08/17/2017
- Re: [Coq-Club] Very slow failing apply, Pierre-Marie Pédrot, 08/17/2017
  - Re: [Coq-Club] Very slow failing apply, Robbert Krebbers, 08/17/2017
    - Re: [Coq-Club] Very slow failing apply, Pierre-Marie Pédrot, 08/17/2017
- Re: [Coq-Club] Very slow failing apply, Pierre-Marie Pédrot, 08/17/2017
  - Re: [Coq-Club] Very slow failing apply, Robbert Krebbers, 08/18/2017
    - Re: [Coq-Club] Very slow failing apply, Ralf Jung, 08/24/2017
- Re: [Coq-Club] Very slow failing apply, Emilio Jesús Gallego Arias, 08/19/2017