package rocq-typed-extraction
Rocq extraction to Rust and Elm
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.0.tar.gz
sha512=cf071a26d3857f82e3a8ece60afbfc18c2fee22f3ae16a5f84117f22f096ca13f867d0d2672f43f0b9e950741487722ef7a3fbff9c4d31a5dd34f35aea3b8c36
Description
A framework for extracting Rocq programs to Rust and Elm
Dependencies (3)
-
rocq-typed-extraction-plugin
= version -
rocq-rust-extraction
= version -
rocq-elm-extraction
= version
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page