package coq-relation-algebra
Relation Algebra and KAT in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.7.1.tar.gz
md5=1a37b6b785540d56133bf637c858c094
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: 15 Feb 2019
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page