package coq-certicoq

  1. Overview
  2. No Docs
A Verified Compiler for Gallina, Written in Gallina

Install

Dune Dependency

certicoq.org Edit opam file Versions (2)

Authors

  1. A
    Andrew Appel
  2. Y
    Yannick Forster
  3. A
    Anvay Grover
  4. J
    Joomy Korkut
  5. J
    John Li
  6. Z
    Zoe Paraskevopoulou
  7. M
    Matthieu Sozeau
  8. M
    Matthew Weaver
  9. A
    Abhishek Anand
  10. G
    Greg Morrisett
  11. R
    Randy Pollack
  12. O
    Olivier Savary Belanger

Maintainers

  1. T
    The CertiCoq Team

Sources

certicoq-0.9-8.19.tar.gz
sha512=633a4786adf9d24a5db0ecf1f61a28d659cb7ae994369a259cc7c3d65d9f039669e24dfa55d8c4ec96a9f5a20c7a3ecc52e02ec4be671430bcdccfbec9577250

Description

Published: 04 Jun 2024

Dependencies (8)

  1. coq-ext-lib >= "0.12.1"
  2. coq-metacoq-safechecker-plugin = "1.3.1+8.19"
  3. coq-metacoq-erasure-plugin = "1.3.1+8.19"
  4. coq-equations = "1.3+8.19"
  5. coq-compcert = "3.13.1"
  6. coq >= "8.19" & < "8.20~"
  7. conf-clang
  8. ocaml >= "4.13"

Dev Dependencies

None

Used by

None

Conflicts

None