The Isabelle presentation at Curry Club Augsburg from 17-Mar-2016 is now available on Youtube, in a minimally trimmed version.

Happy proving!
See you on The Archive of Formal Proofs.