The Coq mailing list

[Kristopher Micinski <krismicinski AT gmail.com>]

There was a thread a little while back that discussed "incremental"
proving (with the idea being that if you change something you should
be able to do minimal work to "reevaluate" your buffer, let's say).
It seemed like the problem is somewhat difficult for reasons I haven't
really considered very carefully.

The thread was back in July, but for some reason I can't find it in
the archive :-/

Kris


On Mon, Sep 23, 2013 at 2:42 PM, Leonardo Rodriguez
<leonardomatiasrodriguez AT gmail.com>
 wrote:
> Hi Coq Club,
>
> Has there been any progress regarding the question on the following link?
>
> https://sympa.inria.fr/sympa/arc/coq-club/2009-02/msg00121.html
>
> Thank you.
>
>
>
>
>
>
>
>
>