package coq-menhirlib
A support library for verified Rocq parsers produced by Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=5545d2adfcdb882159ec55f7f1a658d2
sha512=2bc7d1a528c3f7cfd10e8fd45ae5108c311d668ce5c979f45b66d39a1b7011e6db48c8e6babba0880540d44586bd784e327d7c13fba89fab5c01dffdd289d9ce
Description
Dependencies (1)
-
coq
>= "8.13"
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