package kmt

You can search for identifiers within the package.

in-package search v0.2.0

Framework for deriving Kleene Algebras with Tests (KAT)

Install

Dune Dependency

github.com Readme Edit opam file Versions (1)

Authors

M

Michael Greenberg <michael@greenberg.science>

Maintainers

M

Michael Greenberg <michael@greenberg.science>

Sources

sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39

md5=55d4e5443ae5f8ebf6d539ea6ca564d8

doc/index.html

kmt