package coq-menhirlib
A support library for verified Coq parsers produced by Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=5ecb7f71cf374147d3d3137c6e2fe382
sha512=66393a5b9ba49baf65cac10ec85b0da16dfcf8e7cf55ffeb847b9339f310dfe65e2b3e2b33e215de7b074466adc7f0c43234f476f6fd31cab9fb75f71bd8b2ac
Description
Dependencies (1)
-
coq
>= "8.7"
Dev Dependencies
None
Used by (5)
-
coq-compcert
>= "3.9" -
coq-compcert-32
>= "3.9" -
coq-compcert-64
= "3.7+8.12~coq_platform~open_source" - coq-json
- coq-mi-cho-coq
Conflicts (1)
-
menhir
!= version
On This Page