pirapira / coq2rustLinks

Coq to Rust program extraction. The whole tree is on the original Coq code base.
225Updated 10 years ago

Alternatives and similar repositories for coq2rust

Users that are interested in coq2rust are comparing it to the libraries listed below

Sorting: