Releases: AU-COBRA/coq-elm-extraction
Releases · AU-COBRA/coq-elm-extraction
coq-elm-extraction v0.1.0
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