You are viewing the staging branch of the website @ 69c842c, not the live version.

package coq-elm-extraction

Overview
Doc

You can search for identifiers within the package.

in-package search v0.2.0

Coq extraction to Elm

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

T

The COBRA team

Maintainers

D

Danil Annenkov <danil.v.annenkov@gmail.com>

Sources

sha512=b6cb0c8c677cc37c8f4f9ae20fc64416db2d9703813e61cd865de16f4839902e53188eb5d3c4bd95de43886b3409b08a5e64fff912a68a75c2d2a2fe62503465

Description

A framework for extracting Coq programs to Elm

Tags

keyword:elm keyword:extraction logpath:ElmExtraction

Published: 23 May 2025

Dependencies (8)

coq-metacoq-erasure >= "1.3.1" & < "1.4~"
coq-metacoq-safechecker >= "1.3.1" & < "1.4~"
coq-metacoq-pcuic >= "1.3.1" & < "1.4~"
coq-metacoq-template-pcuic >= "1.3.1" & < "1.4~"
coq-metacoq-template >= "1.3.1" & < "1.4~"
coq-metacoq-common >= "1.3.1" & < "1.4~"
coq-metacoq-utils >= "1.3.1" & < "1.4~"
coq >= "8.17" & < "9.1~"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (8)
Dev Dependencies
Used by
Conflicts