1 search result for "tag:"keyword:binders""

Showing 1 - 1
  1. coq-autosubst

    No documentation

    Coq library for parallel de Bruijn substitutions
    category:Computer Science/Lambda Calculi keyword:abstract syntax keyword:binders keyword:de Bruijn indices keyword:substitution logpath:Autosubst
    Steven Schäfer Tobias Tebbi
    1.10
    MIT
    Used by 0 other packages
    07 Sep 2026