Skip to Main content Skip to Navigation
Other publications

DBGen User Manual

Abstract : This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00763341
Contributor : Emmanuel Polonowski <>
Submitted on : Monday, December 10, 2012 - 3:36:15 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM
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. 2012. ⟨hal-00763341⟩

Share

Metrics

Record views

160

Files downloads

115