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
Contributor : Inria Interstices <>
Submitted on : Friday, July 29, 2016 - 5:46:42 PM Last modification on : Saturday, May 1, 2021 - 3:38:47 AM