coq-rust-extraction

Coq plugin for extracting Rust code

MIT License

Stars
10
Committers
6
View Code on GitHub
Ecosystems: Coq, Rust
coq-rust-extraction - coq-rust-extraction v0.1.0 Latest Release

Published by 4ever2 3 months ago

Initial release of coq-rust-extraction.

This version is compatible with Coq 8.17-8.19

Full Changelog: https://github.com/AU-COBRA/coq-rust-extraction/commits/v0.1.0

Badges
Extracted from project README
Build GitHub Documentation
Related Projects
coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...

28 Dec 2022 124