kmtversion Documentation on ocaml.org
Framework for deriving Kleene Algebras with Tests (KAT)
| Author | Michael Greenberg <michael@greenberg.science> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/mgree/kmt |
| Issue Tracker | https://github.com/mgree/kmt/issues |
| Maintainer | Michael Greenberg <michael@greenberg.science> |
| Dependencies |
|
| Source [http] | https://github.com/mgree/kmt/archive/refs/tags/0.1.tar.gz sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39 md5=55d4e5443ae5f8ebf6d539ea6ca564d8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/kmt/kmt.0.1/opam |
No package is dependent
