package coq-relation-algebra
Relation Algebra and KAT in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.7.10.tar.gz
sha512=9dd7601db9f25753709d4708ab878782580a7d3a858c0188948a10ea51fcbceddee86e5c42e7ddba2a53f65fcb4ee379b33e9c0996cdcef32b7b419d62e6e04e
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: 20 Oct 2023
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page