package coq-mathcomp-character

You can search for identifiers within the package.

in-package search v0.2.0

Compatibility package for rocq-mathcomp-character

Install

Dune Dependency

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

Authors

T

The Mathematical Components team

Maintainers

M

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

Sources

mathcomp-2.4.0.tar.gz

sha256=6307218d7e434fb6ffc81b9275c673d3f7f1f4884ad59b904abd205c437021a0

Description

Published: 15 Apr 2025

Dependencies (2)

rocq-mathcomp-character = version
coq-core

Dev Dependencies

None

Used by (1)

coq-mathcomp-odd-order = "1.13.0"

Conflicts

None

On This Page

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