package rocq-mathcomp-fingroup

You can search for identifiers within the package.

in-package search v0.2.0

Compatibility package for rocq-mathcomp-finite-group

Install

Dune Dependency

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

Authors

T

The Mathematical Components team

Maintainers

M

Mathematical Components <mathcomp-dev@sympa.inria.fr>

Sources

mathcomp-2.6.0.tar.gz

sha256=b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253

Description

Published: 24 Jul 2026

Dependencies (1)

rocq-mathcomp-finite-group = version

Dev Dependencies

None

Used by (6)

coq-htt >= "2.3.0"
coq-htt-core >= "2.3.0"
rocq-mathcomp-classical < "1.17.0"
rocq-monae < "0.9.3"
rocq-robot-rocq >= "0.3.3"
rocq-rouche-capelli >= "0.2.0"

Conflicts

None

On This Page

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