Coq to Rust program extraction. The whole tree is on the original Coq code base.
Here you can share your experience with the project you are suggesting or its comparison with coq2rust. Optional.
A valid email to send you a verification link when necessary or log in.