package rocq-certirocq
A Verified Compiler for Gallina, Written in Gallina
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.1+9.1.tar.gz
sha512=9ef925f78e399c6d8a6bf8f78023157786eccc59ea4673c06a09317cb391310e95d29b8d47e0524d99b09753c7436fcf05954ec74c247dff959fc7193ea87d5f
Description
Published: 18 Mar 2026
Dependencies (10)
-
coq-wasm
= "2.2.0" -
coq-ext-lib
>= "0.12" -
rocq-metarocq-safechecker-plugin
>= "1.5.1" -
rocq-metarocq-erasure-plugin
>= "1.5.1" -
rocq-equations
>= "1.3.1+9.1" -
coq-compcert
>= "3.17" -
rocq-core
>= "9.1" & < "9.2~" - stdlib-shims
- conf-clang
-
ocaml
>= "4.13"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page