Un mathématicien peut-il utiliser un logiciel de vérification de démonstration

  • Patick massot
2018-10-18