Mathematics
and Interactions

Keywords > mathématiques formalisées

• Videos linked to mathématiques formalisées
  

  01:03:33

  published on June 20, 2022

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

  By Patrick Massot

  More +