package coq-relation-algebra
Compatibility package for rocq-relation-algebra
Install
Dune Dependency
Authors
Maintainers
Sources
v1.8.0.tar.gz
sha512=9e2e88d3fa35d7d84c0d16e08e1875a2aae0a66a5012946642c7262f8d96c94eeac9e93dd1045ca8c862ad418133c15a51851d1107b3de1dc8301d91bb0247ce
Description
Published: 19 Sep 2025
Dependencies (2)
-
rocq-relation-algebra
= version - coq-core
Dev Dependencies
None
Used by (2)
Conflicts
None
On This Page