Compilation des termes de preuves: un (nouveau) mariage entre Coq et OCaml (2003)

by B Grégoire