roq_derive

Derive macros to generate Coq code from Rust


License
MIT