Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Franco-Asian Summer School on Arithmetic Geometry
15 videos

Franco-Asian Summer School on Arithmetic Geometry

Workshop Schlumberger : Types dépendants et Formalisation des mathématiques
5 videos

Workshop Schlumberger : Types dépendants et Formalisation des mathématiques

Ahmed Abbes - The p-adic Simpson correspondence: Functoriality by proper direct image and Hodge-Tate local systems
3 videos

Ahmed Abbes - The p-adic Simpson correspondence: Functoriality by proper direct image and Hodge-Tate local systems

Akhil Mathew - Some recent advances in syntomic cohomology
3 videos

Akhil Mathew - Some recent advances in syntomic cohomology

All the collections
CIMPA
CIRM
IHES
IHP
SMF
All the institutions
00:00:00 / 00:00:00

Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien

By Patrick Massot

Appears in collection : Workshop Schlumberger : Types dépendants et Formalisation des mathématiques

Dans cet exposé je passerai en revue les surprises bonnes et moins bonnes je j'ai rencontrées en formalisant des mathématiques modernes en théorie des types dépendants.

Information about the video

  • Date of recording 6/15/22
  • Date of publication 6/20/22
  • Institution IHES
  • Language French
  • Audience Researchers
  • Format MP4

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2022
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback