Enseignement Anciens cours 2022-2023 Cursus Sigle Intitulé Responsable Divers L3PF5 Programmation Fonctionnelle P. Letouzey M2 LMFI PFCoq Programmation Fonctionnelle et Preuves Formelles en Coq P. Letouzey M1 PFAv Programmation Fonctionnelle Avancée P. Letouzey M2 TraP Transformation de Programmes P. Letouzey M2 PComp Programmation Comparée H. Férée, A. Guatto, P. Letouzey Quelques autres anciens cours Cursus Sigle Intitulé M1 PAO Preuves Assistées par Ordinateur