Skip to content

Releases: AU-COBRA/coq-rust-extraction

coq-rust-extraction v0.1.0

10 Jul 21:13
@4ever2 4ever2
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.
Compare
Choose a tag to compare
coq-rust-extraction v0.1.0 Latest
Latest

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