Email Gateway (Aug 22 2022 at 12:54): Email Gateway (Aug 22 2022 at 12:54):From: Makarius <makarius@sketis.net>
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
Last updated: Apr 18 2024 at 08:19 UTC