You are viewing the staging branch of the website @ b4332b8, not the live version.

package coq-mathcomp-finmap

You can search for identifiers within the package.

in-package search v0.2.0

Compatibility package for rocq-mathcomp-finmap

Install

Dune Dependency

math-comp.github.io Edit opam file Versions (18)

Authors

Maintainers

C

Cyril Cohen <cyril.cohen@inria.fr>

Description

Tags

keyword:finmap keyword:finset keyword:multiset logpath:mathcomp.finmap

Published: 13 Nov 2025

Dependencies (1)

rocq-mathcomp-finmap = version

Dev Dependencies

None

Used by (6)

coq-algorand < "1.4"
coq-graph-theory
coq-hanoi
coq-mathcomp-cad
coq-mathcomp-classical >= "1.0.0" & < "1.16.0"
coq-mathcomp-multinomials >= "2.4.0"

Conflicts

None

On This Page

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