Completed
Patrick Massot - Formalisation mathématique et types dépendants : Le point vue d'un (...)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Types Dépendants et Formalisation des Mathématiques
Automatically move to the next video in the Classroom when playback concludes
- 1 Patrick Massot - Formalisation mathématique et types dépendants : Le point vue d'un (...)
- 2 Anthony Bordg - How to Do Maths Without Dependent Types
- 3 Georges Gonthier - Functional Encodings of Mathematics
- 4 Benedikt Ahrens - Le principe d'univalence: le transfer du raisonnement à traver les equivalence
- 5 Cyril Cohen - Hierarchy Builder
