[isabelle] Isabelle introduction on Youtube

Dear Isabelle users,

there are relatively few Isabelle introduction videos on the net, so here is my own: http://sketis.net/2016/video-for-isabelle-presentation-at-curry-club-augsburg https://www.youtube.com/watch?v=dIwZSoZlUfw

The slides are sometimes not optimally captured by the camera, but the original PDF is available here: http://sketis.net/2016/isabelle-presentation-at-curry-club-augsburg

Live examples are from Isabelle2016, e.g. see


Most spoken explanations (and subtle jokes) are in German -- recall that Isabelle is a framework for many languages. Maybe someone else wants to make a French video next time.


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