1 unstable release
| 0.1.0 | Apr 4, 2024 |
|---|
#1196 in Procedural macros
7KB
172 lines
Derive macros to generate Coq code from Rust
Dependencies
~315–780KB
~19K SLoC
| 0.1.0 | Apr 4, 2024 |
|---|
#1196 in Procedural macros
7KB
172 lines
Derive macros to generate Coq code from Rust
~315–780KB
~19K SLoC