previous up next contents
Précédent : Récursion bien fondée Remonter : Actions de recherche Suivant : Prouver Coq en

Vers un système vérifié de traitement de démonstrations

Le système Coq n'est pas lui-même prouvé correct vis à vis de sa spécification.