package coq-tree-automata

  1. Overview
  2. No Docs
Tree automatas

Install

Dune Dependency

Authors

Maintainers

Sources

v8.7.0.tar.gz
md5=b2806890af1a4839734a01e00423efdf

Description

provides tree automatas algorithms in Coq (merge, intersection, vacuity test, deletion of empty states, coaccessiblity test, deletion of non coaccessible states)

Dependencies (3)

  1. coq-int-map >= "8.7" & < "8.8~"
  2. coq >= "8.7" & < "8.8~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None