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 15/06/2022
  • Date of publication 20/06/2022
  • Institution IHES
  • Language French
  • Audience Researchers
  • Format MP4

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
Give feedback