package rocq-cakeml-extraction
CakeML backend for Peregrine
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.0.tar.gz
sha512=8a4d0b7206d30b6d4ae3255cabbcc945e993a179c66e6f308401938576beeab23b7fccb39c79fc580d626037292c0e6ba08ba35694fc818f73413760cdf86e8f
Description
CakeML backend for Peregrine
Dependencies (4)
-
rocq-ceres-bytestring
>= "1.0.0" -
rocq-metarocq-erasure-plugin
>= "1.4" & < "1.5.2" -
rocq-stdlib
>= "9.0" & < "9.2~" -
rocq-core
>= "9.0" & < "9.2~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page