nixpkgs / coqPackages.relation-algebra - Relation algebra library for Coq

Homepage - https://github.com/damien-pous/relation-algebra

License - GPL-3.0-or-later

Maintainers - Siraphob Phipathananunth

Releases

1.7.5 (expand/collapse)
From commit 0061117c to 00460bd6