package kmt
Framework for deriving Kleene Algebras with Tests (KAT)
Install
Authors
Maintainers
Sources
0.1.tar.gz
md5=55d4e5443ae5f8ebf6d539ea6ca564d8
Description
Published: 23 Jun 2022
Dependencies (10)
-
dune
>= "3.0"
-
ppx_deriving
>= "5.2"
-
cmdliner
>= "1.1"
-
logs
>= "0.7"
-
alcotest
>= "1.5"
-
fmt
>= "0.9"
-
ANSITerminal
>= "0.8"
-
batteries
>= "3.5"
-
z3
>= "4.8"
-
ocaml
>= "4.12"
Dev Dependencies
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page