2 search results for "tag:"keyword:abstract syntax""

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. coq-ott

    No documentation

    Auxiliary Coq library for Ott, a tool for writing definitions of programming languages and calculi
    category:Computer Science/Semantics and Compilation/Semantics keyword:abstract syntax logpath:Ott date:2024-12-30
    Peter Sewell Francesco Zappa Nardelli Scott Owens
    0.34
    BSD-3-Clause
    Used by 1 other packages
    30 Dec 2024