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