Cours à propos de Coq

1 Introduction à l'assistant de preuve Coq

Interventions dans le cadre d'un séjour à l'Université de Lille 1.

1.1 Les règles de déduction naturelle expliquées à partir des tactiques de Coq

Intervention dans le cours Automates et Logiques, Université de Lille 1 (février-mars 2016).

1.2 Une introduction à la vérification de programmes avec Coq

Intervention dans le cours Histoire et épistémologie du calcul et de l'informatique, Université de Lille 1 (février 2016).

1.3 Liens complémentaires