package lstar

You can search for identifiers within the package.

in-package search v0.2.0

Automata learning with from lstar-rocq

Install

dune-project

Dependency

github.com Edit opam file Versions (3)

Authors

C

Charles Averill <charlesaverill20@gmail.com>

Maintainers

C

Charles Averill <charlesaverill20@gmail.com>

Sources

lstar-rocq-2.0.tbz

sha256=c0e054fc161cd19cbe5926074527d11be7d05f2ba2a642f4f17ec9451740d9d9

sha512=9ea8383a8632fc12a6e3993d91a8f696ea3daf704628037250c8af7e315112a9557608348332f194122b62711ed2a554c5500abe57b49e174ebf4d9974786dac

doc/index.html

lstar