Alternative Proof of Gauss Integral with improper integral #651

Job	Run time
coq	46s
mathcomp-analysis-single	12m 46s
mathcomp-classical	2m 51s
mathcomp-reals	1m 55s
mathcomp-experimental-reals	1m 52s
mathcomp-analysis	11m 4s
mathcomp-reals-stdlib	1m 28s
ssprove	5m 7s
mathcomp-analysis-stdlib	1m 36s
	39m 25s

Provide feedback