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? Alex _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
