coq-improper-integrals

Additions to the coquelicot library for handling improper integrals

opam install coq-improper-integrals.0.1.0
homepage
https://github.com/ybertot/improper_integrals
license
MIT
bugs tracker
yves.bertot@inria.fr
dependencies
"ocaml" "coq" {>= "8.7" & < "8.9~"} "coq-coquelicot" {>= "3" & < "4~"}
source
https://github.com/ybertot/improper_integrals/archive/v0.1.0.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-improper-integrals/coq-improper-integrals.0.1.0