Skip to Main content Skip to Navigation
Journal articles

L'Assistant de Preuve Coq Table des matières

Sandrine Blazy 1 Pierre Castéran 2 Hugo Herbelin 3
3 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, UPD7 - Université Paris Diderot - Paris 7
Document type :
Journal articles
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01645486
Contributor : Sandrine Blazy <>
Submitted on : Thursday, November 23, 2017 - 9:58:26 AM
Last modification on : Friday, April 10, 2020 - 5:27:18 PM

File

article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01645486, version 1

Citation

Sandrine Blazy, Pierre Castéran, Hugo Herbelin. L'Assistant de Preuve Coq Table des matières. Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017. ⟨hal-01645486⟩

Share

Metrics

Record views

321

Files downloads

1515