package lstar-rocq

  1. Overview
  2. Docs
Formally-verified automata learning in Rocq

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. C
    Charles Averill <charlesaverill20@gmail.com>

Maintainers

  1. C
    Charles Averill <charlesaverill20@gmail.com>

Sources

lstar-rocq-1.0.tbz
sha256=2fc04523f29f2dfa87765e781180368cd41eab927bda69af55679d39d9fe41a8
sha512=a1d5e4754f1acf7306a094b821af307bea383976c29ecfeb3b493f5a392b2c8eae8754cfd457fe0dd3f6c8aeba4eeb4cc6ef419b66505247a41d4745fcaacd11

doc/CHANGES.html

v1.0

Initial release