package rocq-relation-algebra
Relation Algebra and KAT in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.9.1.tar.gz
sha512=25b5655b79c8c9a2a0b222b6412933aa93038b212353d5ab03ec76f6340aeb1e6ebb45d0233dadb468013d3b5284be66c6c290ee80b05ae8f3f5554b0d40f917
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: 21 Sep 2026
Dependencies (1)
Dev Dependencies (1)
-
rocq-core
(>= "9.2" & < "9.3~") | = "dev"
Used by (1)
-
rocq-coinduction-examples
>= "1.9"
Conflicts (1)
-
rocq-mathcomp-boot
< "2.6"