DBGen User Manual

Abstract : This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.
Document type :
Other publications
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00763341
Contributor : Emmanuel Polonowski <>
Submitted on : Monday, December 10, 2012 - 3:36:15 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM
Document(s) archivé(s) le : Saturday, December 17, 2016 - 11:43:19 PM

File

main.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

137

Files downloads

96