All Categories → No Category → variable-binding

Top 1 variable-binding open source projects

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

✭ 41

1-1 of 1 variable-binding projects