Lib
.rs
›
#
generation
#
proof
#
automation
#
proc-macro
#
coq
roq
Owned
by
wgoodall01
.
Install
Source
1 unstable release
0.1.0
Jul 9, 2022
#
170
in
#proof
MIT
license
2KB
Proc-macro Coq code generation and proof automation
No runtime deps