package lstar

  1. Overview
  2. Docs
L* extracted from lstar-rocq

Install 

dune-project
 Dependency

github.com 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/index.html

lstar