package coq-interval
A Coq tactic for proving bounds on real-valued expressions automatically
Install
Dune Dependency
Authors
Maintainers
Sources
interval-4.1.0.tar.gz
sha512=74f94e1d5a1f9b6562a84e5e3addced7bb2a36fd38b2ed6bcbbd0493ba9c4d470bbb2b5d07e3b322d9a5736bc18358966b4101e0ab9b0b18c2cab4efbb7b8c08
Description
Tags
keyword:interval arithmetic keyword:decision procedure keyword:floating-point arithmetic keyword:reflexive tactic keyword:Taylor models category:Mathematics/Real Calculus and Topology category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Interval date:2020-11-25Published: 25 Nov 2020
Dependencies (7)
-
conf-clang
build -
conf-g++
build -
coq-coquelicot
>= "3.0" -
coq-mathcomp-ssreflect
>= "1.6" -
coq-flocq
>= "3.1" & < "4~" -
coq-bignums
< "9~" -
coq
>= "8.8" & < "8.14"
Dev Dependencies (1)
-
conf-autoconf
build & dev
Used by (7)
-
coq-algorand
< "1.3" - coq-approx-models
-
coq-libvalidsdp
>= "1.0.0" -
coq-pi-agm
>= "1.2.0" & < "1.2.2" | >= "1.2.5" -
coq-validsdp
>= "1.0.0" & < "1.1.0" - rocq-laproof
- rocq-pi-agm
Conflicts
None
On This Page