package symkat
Symbolic Algorithms for Kleene algebra with Tests (KAT)
Install
Dune Dependency
Authors
Maintainers
Sources
symkat-1.4.tgz
sha256=d4f2f7e5d00a61bd5489347edcf33cb68e6c5586a8ba74ca5af69fc225a4d44c
md5=ed47c80907d6dc6291c55502fa10a52b
On This Page