Skip to content

Releases: AU-COBRA/coq-elm-extraction

coq-elm-extraction v0.1.0

10 Jul 21:13
@4ever2 4ever2
v0.1.0
8637153
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-elm-extraction v0.1.0 Latest
Latest

Initial release of coq-elm-extraction.

This version is compatible with Coq 8.17-8.19

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

Assets 2
Loading