[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

  $ISABELLE_HOME/src/HOL/ex/Seq.thy
  $ISABELLE_HOME/src/HOL/Isar_Examples/Cantor.thy

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.


	Makarius





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