debruijn-indices topic

Normalization by evaluation for Martin-Löf Type Theory with dependent records

brendanzab

Automagical variable binding library for Rust

brendanzab

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

coq-community

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

coq-community