opam on Github

lstar-rocqversion
3.0 (latest)
Documentation on ocaml.org

Formally-verified automata learning in Rocq

Formally-verified implementations of L* and similar algorithms in Rocq

AuthorCharles Averill <charlesaverill20@gmail.com>
LicenseMIT
Published
Homepagehttps://github.com/CharlesAverill/lstar-rocq
Issue Trackerhttps://github.com/CharlesAverill/lstar-rocq/issues
Documentationhttps://github.com/CharlesAverill/lstar-rocq
MaintainerCharles Averill <charlesaverill20@gmail.com>
Dependencies
Source [http] https://github.com/CharlesAverill/lstar-rocq/releases/download/v3.0/lstar-rocq-3.0.tbz
sha256=ae76ede9f91f2b2898340aee12dea0f948de2b668733ff61d15f97536c637eb3
sha512=a35b569227d661aec37e13a029229a294a68c5ee5c2ad107afc0e592cf0097b40d395a565d4209ee6b7055b8501017dc24f8f4ca95d98996e9e0172f45477fc7
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lstar-rocq/lstar-rocq.3.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.