2 search results for "tag:"keyword:binders""

Showing 1 - 2
  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
  2. rocq-sulfur

    No documentation

    A Rocq plugin to automate reasoning about languages with binders
    keyword:binders keyword:substitution category:Miscellaneous/Rocq Extensions logpath:Sulfur date:2026-10-19
    Mathis Bouverot-Dupuis Thiago Felicissimo Théa Hervier Kenji Maillard Kathrin Stark et al.
    0.1
    MIT
    Used by 0 other packages
    23 Oct 2026