coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coq hangs on setoid_replace

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] coq hangs on setoid_replace
Date: Wed, 17 Dec 2014 23:31:01 -0800

> On Dec 17, 2014, at 18:24 , John Wiegley
> <johnw AT newartisans.com>
> wrote:
>
> Maybe "Set Default Timeout 1" and then see if it fails and tells you why?

Thanks! I will try that.

Sincerely,
Vadim Zaliva

--
CMU ECE PhD student
Mobile: +1(510)220-1060
Skype: vzaliva

[Coq-Club] coq hangs on setoid_replace, Vadim Zaliva, 12/18/2014
- Re: [Coq-Club] coq hangs on setoid_replace, John Wiegley, 12/18/2014
  - Re: [Coq-Club] coq hangs on setoid_replace, Vadim Zaliva, 12/18/2014