Re: [isabelle] Automation is awesome; one bibliography leads to another



To put it another way: tracking the progress of your sock through the washing machine will not tell you how it got clean.
Larry Paulson


On 31 May 2012, at 08:28, Ramana Kumar wrote:

> The educational content of a formal development does not need to reside in
> explicit proof steps.






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