Coq plugin for extracting Rust code
Primary LanguageCoqMIT LicenseMIT
No one’s star this repository yet.