Article de référence | Réf : H3310 v1

Apprendre Coq
Coq, assistant de preuve

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

Date de publication : 10 août 2017