Re: [isabelle] Isabelle style guide

On 05-23, Gerwin Klein wrote:
> Updating lots of proofs to Isabelle2015-RCx and discussions about submission rules for the AFP inspired me to write up guidelines that may be of more widespread use and interest:

The availability of the EURO-MILS deliverable "Used Formal Methods"
might an on-topic contribution to this thread (discussions on Isabelle style).



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