Fedora Packages

coq-menhirlib Subpackage of ocaml-menhir

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).

Releases Overview

Release Stable Testing
Fedora 38 20220210-15.fc38 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at ocaml-menhir dash maintainers at fedoraproject dot org.



Sources on Pagure