1 unstable release

0.1.0 Apr 4, 2024

#4 in #coq

MIT license

7KB
172 lines


Derive macros to generate Coq code from Rust

Dependencies

~240–690KB
~16K SLoC