coq-community / dblib

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq-community/dblib Stargazers