package coq-relation-algebra
Relation Algebra and KAT in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v.1.7.9.tar.gz
sha512=3613524f132364b5aea7593267c005b51737503a3283b3717ffb45836ee3dd910471440b9abb6ba3f645c4885b30bd184a76e53a21640c43a89caa83748e8580
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: 31 Mar 2023
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page