package symkat

You can search for identifiers within the package.

in-package search v0.2.0

Symbolic Algorithms for Kleene algebra with Tests (KAT)

Install

Dune Dependency

perso.ens-lyon.fr Edit opam file Versions (2)

Authors

D

Damien Pous <Damien.Pous@ens-lyon.fr>

Maintainers

D

Damien Pous <Damien.Pous@ens-lyon.fr>

Sources

sha256=661b59d75c315317ca2016cf36fb53570af51a8aa5883bce2ad387ea72ba0aea

md5=8e1ef90db0be25d435f6dc51a06377ab

doc/index.html

symkat

API

Library symkat

No module.

On This Page

API
1. Library symkat