2 results found Sort:

lambdageek
unbound-generics lambdageek
18
56
bsd-3-clause
5
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
bound unbound ghc-generics substitution haskell-library variable-binding
Created 2014-08-01
200 commits to main branch, last one 8 months ago
coq-community
autosubst coq-community
14
52
mit
11
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
coq coq-ci mathcomp ssreflect debruijn-indices variable-binding
Created 2015-06-03
211 commits to master branch, last one 2 months ago