Automatisation partielle du d'eveloppement de programmes dans le syst`eme Coq. Master's thesis, Ecole Normale Sup'erieure de (1992)

by C Parent