coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Qed takes long

From: Marcus Ramos <mvmramos AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Qed takes long
Date: Mon, 28 Oct 2013 20:33:56 -0200

Hi,

It takes a few minutes to run the demonstration of a lemma with a few lines in it, but when it reaches "Qed", it takes more than 40 minutes just for it. Why is that so?

Thanks in advance,

Marcus.

[Coq-Club] Qed takes long, Marcus Ramos, 10/28/2013
- Re: [Coq-Club] Qed takes long, Matthieu Sozeau, 10/30/2013
  - Re: [Coq-Club] Qed takes long, Marcus Ramos, 10/30/2013
    - Re: [Coq-Club] Qed takes long, Cedric Auger, 10/30/2013