[isabelle] question



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.