[isabelle] “Programming in Isabelle/HOL”

Unless I missed it, this one is not listed on http://isabelle.in.tum.de/

A single concise and comprehensive page on a kind of wiki:

May be useful to keep close at hands, as an example to mention it within replies to people who ask questions on StackOverflow about SML programming and someone invite him/her to try SML from Isabelle, as I've noticed this sometimes occurs.

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

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