0:00

Functional Data Structures with Isabelle/HOL, Tutorial 2: Folding Over Lists and Shuffling Lists

Name: Functional Data Structures with Isabelle/HOL, Tutorial 2: Folding Over Lists and Shuffling Lists
Uploaded: 2026-06-02T04:08:27.281Z
Channel: FDS 2020
Description: Download Functional Data Structures with Isabelle/HOL, Tutorial 2: Folding Over Lists and Shuffling Lists from YouTube as MP3 or MP4 for free on TubeGalore.

FDS 2020

0 views

Recently

📥 Download Options

Select Format:

Free download • No registration required • High quality

Functional Data Structures with Isabelle/HOL, Tutorial 2: Folding Over Lists and Shuffling Lists

📥 Download Options

🔥 Related Videos