Lib.rs

› 开发工具 › 过程宏 › roq
#generate #coq #macro

宏 roq_derive

所有者 wgoodall01.

1个不稳定版本

0.1.0 2024年4月4日

#1664 in #generate

MIT 许可证

7KB
172 行

从Rust生成Coq代码的推导宏

依赖项

~260–710KB
~17K SLoC