package coq-relation-algebra
Relation Algebra and KAT in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v.1.7.8.tar.gz
sha512=37ef39a8c4367fd57bbcb0c57b5334d1248dda1bbd0d1e56f159b2b7e18a1ce147ec3bfc980a233f79fc8f5c78911ff0e3e8f2eef161e7fbf058807b7157cb37
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: 08 Sep 2022
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page