lstarversion Documentation on ocaml.org
L* extracted from lstar-rocq
A formally-verified implementation of the L* algorithm
| 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/v1.0/lstar-rocq-1.0.tbz sha256=2fc04523f29f2dfa87765e781180368cd41eab927bda69af55679d39d9fe41a8 sha512=a1d5e4754f1acf7306a094b821af307bea383976c29ecfeb3b493f5a392b2c8eae8754cfd457fe0dd3f6c8aeba4eeb4cc6ef419b66505247a41d4745fcaacd11 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lstar/lstar.1.0/opam |
No package is dependent
