Owned by wgoodall01, a-kenji.
#163 in #proof
71 downloads per month
2KB
Proc-macro Coq code generation and proof automation