[isabelle] A (very) short Isabelle/HOL tutorial for the functional programmer




Dear Isabelle users,


I wrote a 4 pages Isabelle/HOL tutorial for the functional programmer.
It is available here:

https://hal.inria.fr/hal-01208577v2

Any feedback and comments are welcome.

Best regards,

Thomas
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
TÃl: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet




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