nixpkgs / coqPackages.extructures - Finite data structures with extensional reasoning

Homepage - https://github.com/arthuraa/extructures

License - MIT

Maintainers - Vincent Laporte

Releases

0.3.0 (expand/collapse)

From commit 06ec2027 to 00460bd6