package coq-elm-extraction

  1. Overview
  2. No Docs
Coq extraction to Elm

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. T
    The COBRA team

Maintainers

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

Sources

v0.1.0.tar.gz
sha512=3feb033ff2353b489609d8af57af8b80929b51c3262366941f4be866f54529ae30726b4da3982beaf50c0b70f4dbbb166b1b424b5dd5b37b435ce64fcb3ad434

Description

A framework for extracting Coq programs to Elm

Tags

keyword:elm keyword:extraction logpath:ElmExtraction

Published: 11 Jul 2024

Dependencies (8)

  1. coq-metacoq-erasure >= "1.3.1" & < "1.4~"
  2. coq-metacoq-safechecker >= "1.3.1" & < "1.4~"
  3. coq-metacoq-pcuic >= "1.3.1" & < "1.4~"
  4. coq-metacoq-template-pcuic >= "1.3.1" & < "1.4~"
  5. coq-metacoq-template >= "1.3.1" & < "1.4~"
  6. coq-metacoq-common >= "1.3.1" & < "1.4~"
  7. coq-metacoq-utils >= "1.3.1" & < "1.4~"
  8. coq >= "8.17" & < "8.21~"

Dev Dependencies

None

Used by

None

Conflicts

None