package coq-rupicola

  1. Overview
  2. No Docs
Gallina to imperative code compilation, currently in design phase

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. C
    Clément Pit-Claudel <clement.pitclaudel@live.com>
  2. J
    Jade Philipoom
  3. D
    Dustin Jamner
  4. A
    Andres Erbsen
  5. A
    Adam Chlipala

Maintainers

  1. J
    Jason Gross <jgross@mit.edu>

Sources

v0.0.6.tar.gz
sha512=eca8735a2d741d8a759f46992b66cd1c1d00d228e7ac3cc6d8e4a6b740ee650485cf241336ea7e383f8a5f928e42d7212690c6f5f7d2121e9f1a3037369f0e90

Description

Tags

logpath:Rupicola

Published: 16 Oct 2022

Dependencies (3)

  1. coq-bedrock2 >= "0.0.2" & <= "0.0.4"
  2. coq >= "8.15~"
  3. conf-findutils build

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto >= "0.0.16" & < "0.0.20"

Conflicts

None