coq-improper-integrals

Additions to the coquelicot library for handling improper integrals This package contains a few theorems whose use case was discovered when making experiments, for instance in the pi-agm package. These theorems should probably integrated in coquelicot in the long run, but having this package makes them easily available while waiting for any necessary cleanup and discussion to happen.

opam install coq-improper-integrals.0.1.0
homepage
https://github.com/ybertot/improper_integrals
license
MIT
bugs tracker
yves.bertot@inria.fr
dependencies
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