DBGen User Manual
type: Dataset
contact point: Organization
  fn: CCSD
keyword: other-publications
keyword: automation
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: proof-assistant
keyword: infoeu-reposemanticsother
keyword: coq
keyword: de-bruijn
landing page: https://hal.science/hal-00763341
description: This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.
issued: 2026-06-01T00:22:29.095360
language: en
modified: 2026-06-01T00:22:29.095366

DBGen User Manual
type: Distribution
access URL: https://hal.science/hal-00763341
format: HTML
issued: 2026-06-01T00:22:29.176220
modified: 2026-06-01T00:22:29.064756

test_moissonnage_selune
type: Agent