Lib
.rs
›
#
proof
#
automation
#
generation
#
proc-macro
#
coq
roq
所有者
wgoodall01
.
安装
源代码
1 个不稳定版本
0.1.0
2022年7月9日
#
181
in
#proof
MIT
许可证
2KB
过程宏 Coq 代码生成和证明自动化
无运行时依赖