package coq-coquelicot
A Coq formalization of real analysis compatible with the standard library
Install
Dune Dependency
Authors
Maintainers
Sources
coquelicot-3.4.3.tar.gz
sha512=619207d1dfc170dc0c79e72e893fa2e1a60f9df85a56ea23fb3bb8e4bca1b273cd0a3dd588d4b29a138154852a9fe5b7b23fa317c77c512ef058958e05a1f4c2
Description
Tags
keyword:real analysis keyword:topology keyword:filters keyword:metric spaces category:Mathematics/Real Calculus and Topology logpath:Coquelicot date:2025-01-27Published: 27 Jan 2025
Dependencies (4)
-
conf-clang
build -
conf-g++
build -
coq-mathcomp-ssreflect
>= "1.6" -
coq
>= "8.12"
Dev Dependencies (1)
-
conf-autoconf
build & dev
Used by (7)
- coq-actuary
- coq-approx-models
- coq-improper-integrals
-
coq-interval
>= "3.2.0" -
coq-libvalidsdp
>= "0.6.0" -
coq-pi-agm
>= "1.2.0" -
coq-plouffe
= "1.1.0" | >= "1.3.0"
Conflicts
None
On This Page