[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:
http://www.ist.tugraz.at/isac/Programming_in_Isabelle/HOL

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.