package coq-relation-algebra
Relation Algebra and KAT
Install
Dune Dependency
Authors
Maintainers
Sources
RelationAlgebra-1.3.tar.gz
md5=dca5ff29d70a70e62d233b742561bd87
Description
A modular library about relation algebra, from idempotent semirings to residuated Kleene allegories, including a decision tactic for Kleene algebra with Tests (KAT).
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: 09 Feb 2016
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page