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

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