lstarversion Documentation on ocaml.org
Automata learning with lstar-rocq
Formally-verified implementations of L* and similar algorithms
| Author | Charles Averill <charlesaverill20@gmail.com> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/CharlesAverill/lstar-rocq |
| Issue Tracker | https://github.com/CharlesAverill/lstar-rocq/issues |
| Documentation | https://github.com/CharlesAverill/lstar-rocq |
| Maintainer | Charles 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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lstar/lstar.3.0/opam |
No package is dependent
