package coq-dblib

  1. Overview
  2. No Docs
Dblib

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. F
    Francois Pottier <francois.pottier@inria.fr> [http://gallium.inria.fr/~fpottier/]

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.8.0.tar.gz
md5=f3801acc5eccb14676c5c27315c30ee2

Description

http://gallium.inria.fr/~fpottier/dblib/README

The dblib library offers facilities for working with de Bruijn indices.

Tags

keyword: abstract syntax keyword: binders keyword: de Bruijn indices keyword: shift keyword: lift keyword: substitution category: Computer Science/Lambda Calculi

Published: 06 Feb 2019

Dependencies (2)

  1. coq >= "8.8" & < "8.9~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None