Functional Data Structures with Isabelle/HOL, Tutorial 14: Refinement and Code Generation Published -- Download video MP4 360p