package coq-mathcomp-bigenough

You can search for identifiers within the package.

in-package search v0.2.0

Compatibility package for rocq-mathcomp-bigenough

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

C

Cyril Cohen

Maintainers

C

Cyril Cohen <cyril.cohen@inria.fr>

Description

Tags

keyword:bigenough keyword:asymptotic reasonning keyword:small scale reflection keyword:mathematical components logpath:mathcomp.bigenough

Published: 23 Feb 2026

Dependencies (1)

rocq-mathcomp-bigenough = version

Dev Dependencies

None

Used by (8)

coq-hanoi
coq-mathcomp-analysis != "0.2.3"
coq-mathcomp-apery
coq-mathcomp-cad
coq-mathcomp-experimental-reals
coq-mathcomp-finmap >= "1.2.0" & < "1.5.1"
coq-mathcomp-multinomials >= "1.1"
coq-mathcomp-real-closed >= "1.0.2"

Conflicts

None

On This Page

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