Coq en Coq. M#moire du DEA informatique, math#matiques et applications, #cole Polytechnique (1995)

by B Barras
Venue:BBC + 97] Janet Bertot, Yves Bertot, Yann Coscoy, Healfdene