a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0
Origine : Fichiers produits par l'(les) auteur(s)