You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-dblib

You can search for identifiers within the package.

in-package search v0.2.0

Dblib

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

F

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

Maintainers

H

Hugo.Herbelin@inria.fr

Sources

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)

coq >= "8.8" & < "8.9~"
ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies
Used by
Conflicts