package lstar
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
Automata learning with lstar-rocq
Install
dune-project
Dependency
Authors
Maintainers
Sources
lstar-rocq-3.0.tbz
sha256=ae76ede9f91f2b2898340aee12dea0f948de2b668733ff61d15f97536c637eb3
sha512=a35b569227d661aec37e13a029229a294a68c5ee5c2ad107afc0e592cf0097b40d395a565d4209ee6b7055b8501017dc24f8f4ca95d98996e9e0172f45477fc7
Description
Formally-verified implementations of L* and similar algorithms
Published: 24 Jul 2026
Dependencies (6)
-
lstar-rocq
= version - rocq-runtime
- rocq-stdlib
- rocq-prover
-
rocq-core
>= "9.1.0" -
dune
>= "3.21"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page