Live coding: Generalizing Induction Hypothesis
Channel: Alexander Chichigin
Date: 27/04/2022

Solving some exercises but failing pretty quickly. Using Isabelle/HOL.
The source file (after fixing the last problem).
-- Watch live at https://www.twitch.tv/gabriel_fallen

00:00 Preparation
07:30 Actual start
11:00 Tail-recursive List Sum
14:30 Immediate proof attempt (failed as planned)
22:30 Generalized proof start
27:30 Generalizing to any acc
40:20 Continuation-passing List Sum
44:00 Tail-recursive List Reverse
45:40 Checking QuickCheck output
49:55 Tail-recursive List Map
59:00 Encounter with unsolvable problem :)