| Réf : H3310 v1

Coq, assistant de preuve

Auteur(s) : Sandrine Blazy, Pierre Castéran, Hugo Herbelin

Date de publication : 10 août 2017