Article soumis aux JFLA 2012.
Article (bib).
Présentation.
Téléchargez les sources Coq (version 2.01).
Home page - Page maison