Re: [isabelle] question

Thanks all for your variety of insightful answers. I thought the statement might well be contentious :).

On 24 Jan 2014, at 16:54, John Wickerson <johnwickerson at> wrote:

> Hi all,
> I wonder if I might invite comment on the following statement?
> "Don't even *think* about firing up Isabelle until you've completed a really solid pencil-and-paper proof of the theorem you want to mechanise."
> Thanks!
> John

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.