package coq-mathcomp-reals-stdlib
A library to link real numbers from mathematical components and Stdlib
Install
Dune Dependency
Authors
Maintainers
Sources
1.7.0.tar.gz
sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23
Description
This package contains a library to link real numbers for the Coq proof-assistant using the Mathematical Components library and Stdlib.
Tags
category:Mathematics/Real Numbers keyword:real numbers keyword:reals logpath:mathcomp.reals_stdlibPublished: 22 Nov 2024
Dependencies (1)
-
coq-mathcomp-reals
= version
Dev Dependencies
None
Used by (2)
-
coq-infotheo
>= "0.7.5" & < "0.9.1" - coq-mathcomp-analysis-stdlib
Conflicts
None
On This Page