package rocq-relation-algebra
Relation Algebra and KAT in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.9.2.tar.gz
sha512=865726b7af04b95bf32485c59d663dddeb24e4b3e43f7e9bf7d8807f9ef7c974d9fe8367142f1ec9ec8580d48039265a00311d66178607046158eea3f3fd3b05
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:RelationAlgebra date:2026-11-01Published: 02 Nov 2026
Dependencies (1)
Dev Dependencies (1)
-
rocq-core
(>= "9.3" & < "9.4~") | = "dev"
Used by (1)
-
rocq-coinduction-examples
>= "1.9"
Conflicts (1)
-
rocq-mathcomp-boot
< "2.6"