nixpkgs / coqPackages.reglang - Regular Language Representations in Coq

Homepage - https://github.com/coq-community/reglang

License - CECILL-B

Maintainers - Siraphob Phipathananunth

Releases

1.1.2 (expand/collapse)
From commit 029f5773 to 00460bd6