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