nixpkgs / coqPackages.autosubst - Automation for de Bruijn syntax and substitution in Coq

Homepage - https://www.ps.uni-saarland.de/autosubst/

License - MIT

Maintainers - Siraphob Phipathananunth - John Wiegley

Releases

1.7 (expand/collapse)
From commit 021813a4 to 00460bd6