package rocq-typed-extraction-plugin
Rocq extraction to Rust and Elm
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.1.tar.gz
sha512=4dd884edc9d4f6ad3a23305c5359a39d6208186c020503e0eb1db98a723eb89bfc0d5bc2d38013d2e8dec95efe6200e803c3999a8dd6046547237761010dded4
Description
A framework for extracting Rocq programs to Rust and Elm
Dependencies (2)
-
rocq-rust-extraction
= version -
rocq-elm-extraction
= version
Dev Dependencies
None
Used by (1)
-
rocq-typed-extraction
>= "0.2.1"
Conflicts
None
On This Page