coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Qed takes long time

From: Marcus Ramos <marcus.ramos AT univasf.edu.br>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Qed takes long time
Date: Mon, 28 Oct 2013 20:35:05 -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 time, Marcus Ramos, 10/28/2013
- Re: [Coq-Club] Qed takes long time, Maxime Dénès, 10/28/2013
  - Re: [Coq-Club] Qed takes long time, Abhishek Anand, 10/28/2013
    - Re: [Coq-Club] Qed takes long time, Marcus Ramos, 10/29/2013
      - Re: [Coq-Club] Qed takes long time, AUGER Cédric, 10/29/2013
        
        Re: [Coq-Club] Qed takes long time, Marcus Ramos, 10/30/2013
        
        Re: [Coq-Club] Qed takes long time, Daniel Schepler, 10/30/2013