package lstar
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
L* extracted from lstar-rocq
Install
dune-project
Dependency
Authors
Maintainers
Sources
lstar-rocq-1.0.tbz
sha256=2fc04523f29f2dfa87765e781180368cd41eab927bda69af55679d39d9fe41a8
sha512=a1d5e4754f1acf7306a094b821af307bea383976c29ecfeb3b493f5a392b2c8eae8754cfd457fe0dd3f6c8aeba4eeb4cc6ef419b66505247a41d4745fcaacd11
Description
A formally-verified implementation of the L* algorithm
Published: 15 Jun 2026
Dependencies (6)
-
lstar-rocq
= version - rocq-runtime
- rocq-stdlib
- rocq-prover
-
rocq-core
>= "9.1.0" -
dune
>= "3.21.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page