package coq-rupicola

You can search for identifiers within the package.

in-package search v0.2.0

Gallina to imperative code compilation, currently in design phase

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

Maintainers

J

Jason Gross <jgross@mit.edu>

Sources

sha512=a7acff42e53572f8663834b5a50607fb19a8d5ac8d50358fe9485d7357373d1e953fe42c0d68f8488030e4298b5d055629d522b70ed3d69f7e3696685b547248

Description

Tags

logpath:Rupicola

Published: 14 Oct 2025

Dependencies (3)

coq-bedrock2 = "0.0.9"
coq >= "9.0~"
conf-findutils build

Dev Dependencies

None

Used by (1)

coq-fiat-crypto >= "0.1.6"

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies
Used by (1)
Conflicts