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