1 unstable release
0.1.0 | Apr 4, 2024 |
---|
#1102 in Procedural macros
80 downloads per month
7KB
172 lines
Derive macros to generate Coq code from Rust
Dependencies
~0.3–0.8MB
~19K SLoC
0.1.0 | Apr 4, 2024 |
---|
#1102 in Procedural macros
80 downloads per month
7KB
172 lines
Derive macros to generate Coq code from Rust
~0.3–0.8MB
~19K SLoC