[isabelle-dev] Spec_Check

Alexander Krauss krauss at in.tum.de
Sun Jun 2 01:59:00 CEST 2013

On 05/30/2013 03:51 PM, Makarius wrote:
> BTW, I've seen really good sources
> recently: ACL2.  They have a *strict* 80 char limit, and really good
> writing style of "essays", not "code documentation".

This sounds interesting. Can you point to some examples of such essays?


More information about the isabelle-dev mailing list