Skip to content

coq-rust-extraction v0.1.0

Latest
Latest
Compare
Choose a tag to compare
@4ever2 4ever2 released this 10 Jul 21:13
· 26 commits to master since this release
v0.1.0
07b6937
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

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

Assets 2
Loading