Alternative Proof of Gauss Integral with improper integral #4226

Job	Run time
coq	45s
rocq-elpi	46s
rocq-core	51s
coq-elpi	48s
mathcomp-bigenough	48s
mathcomp-finmap	48s
stdlib	45s
hierarchy-builder	47s
mathcomp-analysis-single	16m 54s
mathcomp	56s
mathcomp-classical	3m 18s
mathcomp-reals	2m 23s
mathcomp-reals-stdlib	1m 46s
mathcomp-experimental-reals	2m 3s
	33m 38s

Provide feedback