package coq-rust-extraction

  1. Overview
  2. No Docs
Coq extraction to Rust

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=e5b0e82a21dab68c7191668840baaba4d2f04bf195709d7367ccca400ac45721735990ce36c55577515dd6b1cab53acc79b51b8128afff83ea97d7b0dad56068

Description

A framework for extracting Coq programs to Rust

Tags

keyword:rust keyword:extraction logpath:RustExtraction

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.20~"

Dev Dependencies

None

Used by

None

Conflicts

None