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