kmtversion

Framework for deriving Kleene Algebras with Tests (KAT)

AuthorMichael Greenberg <michael@greenberg.science>
LicenseMIT
Published
Homepagehttps://github.com/mgree/kmt
Issue Trackerhttps://github.com/mgree/kmt/issues
MaintainerMichael Greenberg <michael@greenberg.science>
Dependencies
Source [http] https://github.com/mgree/kmt/archive/refs/tags/0.1.tar.gz
sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39
md5=55d4e5443ae5f8ebf6d539ea6ca564d8
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/kmt/kmt.0.1/opam
No package is dependent