opam on Github

lstar-rocqversion
2.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/v2.0/lstar-rocq-2.0.tbz
sha256=c0e054fc161cd19cbe5926074527d11be7d05f2ba2a642f4f17ec9451740d9d9
sha512=9ea8383a8632fc12a6e3993d91a8f696ea3daf704628037250c8af7e315112a9557608348332f194122b62711ed2a554c5500abe57b49e174ebf4d9974786dac
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lstar-rocq/lstar-rocq.2.0/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.