Initiation aux assistants de preuves (cours du LMFI)

De Wiki du LAMA (UMR 5127)

Révision datée du 25 février 2008 à 17:26 par Raffalli (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Aller à la navigation Aller à la recherche

Introduction

Problématiques et difficultés

ZFC ? (Mizar)

La théorie des types simples de Church - HOL (Isabelle, HOL light, PhoX)

Les PTS (Coq)

Récupérée de « http://os-vps418.infomaniak.ch:1250/mediawiki/index.php?title=Initiation_aux_assistants_de_preuves_(cours_du_LMFI)&oldid=1906 »