coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Jonathan <jonikelee AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.)
Date: Thu, 24 Jul 2014 09:05:57 -0400

On 07/24/2014 05:27 AM, Arnaud Spiwack wrote:

... the new dependent subgoal feature

What is the new dependent subgoal feature?

-- Jonathan

Re: [Coq-Club] Prop smuggling (was: Re: Smart case analysis in Coq.), (continued)