package kmt

  1. Overview
  2. Docs
Framework for deriving Kleene Algebras with Tests (KAT)

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39
md5=55d4e5443ae5f8ebf6d539ea6ca564d8

doc/index.html

kmt

OCaml

Innovation. Community. Security.