HOL with Dependent Types and Subtyping

HOL with Dependent Types and Subtyping

Hausdorff Center for Mathematics via YouTube Direct link

Florian Rabe: HOL+Dependent Types + Subtyping

1 of 1

1 of 1

Florian Rabe: HOL+Dependent Types + Subtyping

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

HOL with Dependent Types and Subtyping

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Florian Rabe: HOL+Dependent Types + Subtyping

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.