1 dataset found

Tags: de-bruijn

Filter Results

  • DBGen User Manual

    This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.
You can also access this registry using the API (see API Docs).