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."
This archive was generated by a fusion of
Pipermail (Mailman edition) and