@misc{narboux:hal-00809448, TITLE = {{Les assistants de preuve, ou comment avoir confiance en ses d{\'e}monstrations.}}, AUTHOR = {Narboux, Julien}, URL = {https://inria.hal.science/hal-00809448}, HOWPUBLISHED = {{S{\'e}minaire L}}, ORGANIZATION = {{Universit{\'e} de Strasbourg, UFR de Math{\'e}matiques}}, YEAR = {2013}, MONTH = Mar, KEYWORDS = {curry-howard ; assistant preuve ; Coq ; preuve formelle}, PDF = {https://inria.hal.science/hal-00809448/file/slides_vulgarisation_coq.pdf}, HAL_ID = {hal-00809448}, HAL_VERSION = {v1}, }