DBGen User Manual

This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00763341
Author Polonowski, Emmanuel
Maintainer CCSD
Last Updated June 1, 2026, 00:22 (UTC)
Created June 1, 2026, 00:22 (UTC)
Identifier hal-00763341
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'Algorithmique Complexité et Logique (LACL) ; Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)
creator Polonowski, Emmanuel
date 2012-06-01T00:00:00
harvest_object_id 5a50e67c-c12a-4621-91a3-c388fe0e43cf
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-12-27T00:00:00
set_spec type:OTHER