package coq-menhirlib
A support library for verified Rocq parsers produced by Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=e993231085db95ab011ffe0cd606d9dd
sha512=aafad186f328ae8dd4cc69af0f30c1a0b208cf5148a7a94c150099be03838503c5ec12918de26cd7f794b5a72f114bc1bae8d81058bd0ea10372a3b06818687e
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