/coq-rust-extraction

Coq plugin for extracting Rust code

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.