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, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Type de document :
Article dans une revue
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01645486
Contributeur : Sandrine Blazy <>
Soumis le : jeudi 23 novembre 2017 - 09:58:26
Dernière modification le : jeudi 15 novembre 2018 - 20:27:45

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

154

Téléchargements de fichiers

255