Lean : une nouvelle bibliothèque d'Alexandrie

Dans le périodique : Tangente, n°197 (12/2020)
• Auteur : Jean-Jacques Dupas
• Pages : p.17
  • Langues : Français
• • Nature du document : documentaire
  • Note générale : Bibliographie, webographie.
  • 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.

• • Descripteurs : logiciel / problème mathématique