Coq OPAMcoq-interval
A Coq tactic for proving bounds on real-valued expressions automatically
opam install coq-interval.4.1.1
- homepage
- http://coq-interval.gforge.inria.fr/
- license
- CeCILL-C
- bugs tracker
- https://gitlab.inria.fr/coqinterval/interval/issues
- dependencies
- "coq" {>= "8.8"} "coq-bignums" "coq-flocq" {>= "3.1"} "coq-mathcomp-ssreflect" {>= "1.6"} "coq-coquelicot" {>= "3.0"} "conf-autoconf" {build & dev} ("conf-g++" {build} | "conf-clang" {build})
- source
- https://gforge.inria.fr/frs/download.php/file/38384/interval-4.1.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-interval/coq-interval.4.1.1