package rocq-relation-algebra
Relation Algebra and KAT in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.8.0.tar.gz
sha512=9e2e88d3fa35d7d84c0d16e08e1875a2aae0a66a5012946642c7262f8d96c94eeac9e93dd1045ca8c862ad418133c15a51851d1107b3de1dc8301d91bb0247ce
Description
Tags
keyword:relation algebra keyword:Kleene algebra with tests keyword:KAT keyword:allegories keyword:residuated structures keyword:automata keyword:regular expressions keyword:matrices category:Mathematics/Algebra logpath:RelationAlgebraPublished: 19 Sep 2025
Dependencies (1)
Dev Dependencies (1)
-
rocq-core
(>= "9.0" & < "9.1~") | = "dev"
Used by (1)
-
coq-relation-algebra
>= "1.8.0"
Conflicts
None
On This Page