# mpri-coq-project

Projet de cours Coq (2.7.1) du MPRI — WP.