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.
Document type :
Other publications
Complete list of metadata

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
Long-term archiving on: : 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

168

Files downloads

130