package coq-interval
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Coq tactic for proving bounds on real-valued expressions automatically
Install
Dune Dependency
Authors
Maintainers
Sources
interval-3.4.2.tar.gz
sha512=4e61a3bfe5f8758db8a09dec4f690213bb369a1ae960237ecfeb3c1d999619f9ef5afd5daeeeecc44dfe64bd4c46ffcca7a2872c11febd47ecbb0d799bc478fe
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 date:2020-02-25Published: 26 Feb 2020
Dependencies (7)
- conf-clang
- conf-g++
-
coq-coquelicot
>= "3.0" -
coq-mathcomp-ssreflect
>= "1.6" -
coq-flocq
>= "3.0" - coq-bignums
-
coq
>= "8.7" & < "8.12~"
Dev Dependencies
None
Used by (4)
- coq-approx-models
-
coq-libvalidsdp
< "1.0.0" -
coq-pi-agm
>= "1.2.0" & < "1.2.5" -
coq-validsdp
< "1.0.0"
Conflicts
None
On This Page