Coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.
Alternatives To Coq2rust
Select To Compare


Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Ocaml
Coq