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