Another Isabelle presentation at Curry Club Augsburg (19-May-2016) has been recorded and uploaded to Youtube.
Materials from the presentation:
- Exercise from Haskell Workshop 1 + 2 (Dec-2015).
- Solution produced during the presentation.
- Slides that were briefly shown towards the end.
To try it interactively (with Prover IDE markup), it is possible to open the URL of the Solution directly in Isabelle/jEdit.