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.4.tar.gz
sha512=63785a51f3495ec2df0b65977de7c9a24e08c95753da4e1852fb3b476882bda183515e948c4c6f0c8094469c3b443252c389a0c636e6addfd7db917fe0d22347

Description

Tags

logpath:Rupicola

Published: 31 Mar 2022

Dependencies (3)

  1. coq-bedrock2 = "0.0.1"
  2. coq >= "8.15~"
  3. conf-findutils build

Dev Dependencies

None

Used by

None

Conflicts

None