Coq en Coq. Rapport de Recherche 3026 (1996)

by B Barras