1 search result for "author:"Steven Schäfer""

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 date:2024-07-12
    Steven Schäfer Tobias Tebbi
    1.9
    MIT
    Used by 0 other packages
    13 Jul 2024