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:
> 
> http://proofcraft.org/blog/isabelle-style.html
[..]

The availability of the EURO-MILS deliverable "Used Formal Methods" 
http://www.euromils.eu/downloads/Deliverables/Y2/2015-EM-UsedFormalMethods-WhitePaper.pdf
might an on-topic contribution to this thread (discussions on Isabelle style).

best,

-- 
Holger




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