package rocq-relation-algebra
Relation Algebra and KAT in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.8.1.tar.gz
sha512=19111fa33da23d7e6a3e2c06a64e29a92dbc338f0d7862edfdb513381983445e1236a48e2acb759021e53a88afa6516caa41e316c709b5c070e4536bbdac0b3d
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: 07 May 2026
Dependencies (1)
Dev Dependencies (1)
-
rocq-core
(>= "9.2" & < "9.3~") | = "dev"
Used by (1)
-
rocq-coinduction-examples
< "1.9"
Conflicts
None
On This Page