DBGen User Manual

Abstract : This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.
Type de document :
Autre publication
TR--LACL--2012--4. This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq pr.. 2012
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00763341
Contributeur : Emmanuel Polonowski <>
Soumis le : lundi 10 décembre 2012 - 15:36:15
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : samedi 17 décembre 2016 - 23:43:19

Fichier

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

Identifiants

  • HAL Id : hal-00763341, version 1

Collections

Citation

Emmanuel Polonowski. DBGen User Manual. TR--LACL--2012--4. This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq pr.. 2012. 〈hal-00763341〉

Partager

Métriques

Consultations de la notice

135

Téléchargements de fichiers

95