#

debruijn-indices

Here are 2 public repositories matching this topic...

coq-community / autosubst

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

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

Updated Sep 17, 2024
Coq

coq-community / dblib

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

coq variable-binding debruijn-indices

Updated Sep 15, 2021
Coq

Improve this page

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

Curate this topic

Add this topic to your repo

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