package coq-relation-algebra
Relation Algebra and KAT in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.7.11.tar.gz
sha512=17b2684d9752d1ca108b57d345cb25c4a8b5c4fa22e654cb7701baedd14a9fcbf28cb9eb2ed966b0ffea86930b0c070a206f0a8a2ea29b2498f7dfe33c4c2187
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: 18 Sep 2024
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page