package coq-interval
A Coq tactic for proving bounds on real-valued expressions automatically
Install
Dune Dependency
Authors
Maintainers
Sources
interval-2.2.1.tar.gz
md5=24d213f67df73e72e331ddefc19e6d7b
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 proceduresPublished: 16 May 2019
Dependencies (4)
-
coq-coquelicot
< "3.0~" -
coq-mathcomp-ssreflect
>= "1.6" -
coq-flocq
>= "2.5.0" & < "3.0~" -
coq
>= "8.4.6" & < "8.6~"
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page