/coq2rust

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

Primary LanguageOCamlGNU Lesser General Public License v2.1LGPL-2.1

Stargazers