package coq-coqprime

You can search for identifiers within the package.

in-package search v0.2.0

Compatibility metapackage for CoqPrime library after the Rocq renaming

Install

Dune Dependency

github.com Edit opam file Versions (16)

Authors

L

Laurent Théry

Maintainers

T

thery@sophia.inria.fr

Description

Published: 11 Sep 2026

Dependencies (2)

rocq-coqprime = version
coq-core

Dev Dependencies

None

Used by (1)

coq-fiat-crypto

Conflicts

None

On This Page

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