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





Le 19/10/2015 15:31, Makarius a écrit :
The text reads a bit like a "script" for an interactive session,
conducted by the user or the presenter of a quick tutorial. It would be
nice to see online videos like that.

True, this could be better as a video tutorial. However, I do not feel like doing this for the moment! :-)

Best,


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.