the Gamma function #4692

Job	Run time
rocq-core	40s
rocq-elpi	51s
coq	50s
coq-elpi	50s
stdlib	51s
hierarchy-builder	49s
mathcomp-bigenough	50s
mathcomp-finmap	48s
mathcomp	48s
mathcomp-classical	3m 6s
mathcomp-analysis-single	16m 57s
mathcomp-reals	1m 58s
mathcomp-analysis	14m 24s
mathcomp-experimental-reals	1m 51s
mathcomp-reals-stdlib	1m 27s
mathcomp-analysis-stdlib	1m 37s
	48m 37s

Provide feedback