DBGen User Manual

Autre Publication Scientifique Année : 2012

(1)

Emmanuel Polonowski

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

De Bruijn Coq proof assistant automation

Logique en informatique [cs.LO]

Fichier principal

main.pdf (159.74 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-00763341

Soumis le : lundi 10 décembre 2012-15:36:15

Dernière modification le : vendredi 24 mars 2023-14:52:56

Archivage à long terme le : samedi 17 décembre 2016-23:43:19

hal-00763341 , version 1 (10-12-2012)

Emmanuel Polonowski. DBGen User Manual. 2012. ⟨hal-00763341⟩

CNRS LACL UPEC

65 Consultations

126 Téléchargements