/coq-rust-extraction

Coq plugin for extracting Rust code

Primary LanguageCoqMIT LicenseMIT

Watchers