| Résume | Les mathématiques formalisée sont les mathématiques tellement claires qu’on peut les expliquer à un ordinateur. Dans cet exposé, je rappellerai à quoi ressemble le processus de formalisation et quelles en sont les motivations. Puis je décrirais les succès obtenus dans ce domaine au cours des trois dernières années. |
