[article] Lean : une nouvelle bibliothèque d'Alexandrie [texte imprimé] /
Jean-Jacques Dupas, Auteur . - 2020 . - p.17.
Bibliographie, webographie.
Langues : Français
in Tangente (Paris) >
197 (12/2020) . - p.17
Mots-clés : | logiciel problème mathématique |
Résumé : | Présentation du logiciel Lean permettant la vérification de preuves mathématiques : ses modalités d'utilisation, le travail de numérisation sur Lean et la perception de ce dernier par les mathématiciens, l'idée d'un couplage de Lean avec une intelligence artificielle. |