package rocq-elm-extraction
Rocq extraction to Elm
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.1.tar.gz
sha512=4dd884edc9d4f6ad3a23305c5359a39d6208186c020503e0eb1db98a723eb89bfc0d5bc2d38013d2e8dec95efe6200e803c3999a8dd6046547237761010dded4
Description
A framework for extracting Rocq programs to Elm
Dependencies (1)
-
rocq-typed-extraction-common
= version
Dev Dependencies
None
Used by (2)
-
rocq-typed-extraction
>= "0.2.1" -
rocq-typed-extraction-plugin
>= "0.2.1"
Conflicts
None
On This Page