coq-menhirlib

A support library for verified Coq parsers produced by Menhir The Menhir parser generator, in --coq mode, can produce Coq parsers. These parsers must be linked against this library, which provides both an interpreter (which allows running the generated parser) and a validator (which allows verifying, at parser construction time, that the generated parser is correct and complete with respect to the grammar).

opam install coq-menhirlib.20180530
homepage
https://gitlab.inria.fr/fpottier/coq-menhirlib
license
bugs tracker
jacques-henri.jourdan@lri.fr
dependencies
coq >= 8.6
source
https://gitlab.inria.fr/fpottier/coq-menhirlib/repository/20180530/archive.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-menhirlib/coq-menhirlib.20180530