Résumé : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
https://hal.inria.fr/hal-01350404
Contributeur : Inria Interstices
<>
Soumis le : vendredi 29 juillet 2016 - 17:46:42
Dernière modification le : mercredi 14 novembre 2018 - 15:30:04
