package lstar-rocq

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

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

Description

Formally-verified implementations of L* and similar algorithms in Rocq

Published: 15 Jun 2026

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. lstar < "2.0"

Conflicts

None