dblib
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
28 stars
5 watching
4 forks
Language: Coq
last commit: about 3 years ago coqdebruijn-indicesvariable-binding
Coq library for working with de Bruijn indices [maintainer=@KevOrr]