Prototype d'extension du système Coq
Abstract
Nous décrivons comment obtenir, installer et utiliser le prototype de Coq avec réécriture basé sur la bibliothèque CiME. Nous donnons ensuite quelques détails sur son implantation: l'architecture de CiME d'une part, les modifications et nouveaux modules apportés à Coq d'autre part.