← All repos

pirapira/coq2rust

View on GitHub ↗ ★ 226 OCaml

Coq to Rust program extraction. The whole tree is on the original Coq code base.

4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2016-07-22 · latest 2019-04-14