package rocq-relation-algebra
Relation Algebra and KAT in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.9.0.tar.gz
sha512=237392871f22e702fbdd899ecea970f4c8693cb2fe5356fae0c31720476dd03aebff83fed0838726d83d5cb4065df039f88965f98da822dd532cfa3e83dc4f4a
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