variable-binding

Here are 3 public repositories matching this topic...

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

coq variable-binding ssreflect debruijn-indices mathcomp coq-ci

Coq library for working with de Bruijn indices [maintainer=@KevOrr]

coq variable-binding debruijn-indices

A Coq library for abstract syntactical reasoning

syntax coq variable-binding

Add a description, image, and links to the variable-binding topic page so that developers can more easily learn about it.

To associate your repository with the variable-binding topic, visit your repo's landing page and select "manage topics."