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