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 cantab.net> 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.