coq2rust
OCaml
★ 227
updated 11y ago
Coq to Rust program extraction. The whole tree is on the original Coq code base.
No plain-English explanation yet — one is being written right now. Check back in a minute.