Bolzano weierstrass #4824

Job	Run time
rocq-core	1m 0s
rocq-elpi	1m 0s
stdlib	1m 0s
coq-elpi	1m 2s
coq	1m 4s
hierarchy-builder	1m 0s
mathcomp-finmap	58s
mathcomp-bigenough	58s
mathcomp	54s
mathcomp-classical	3m 12s
mathcomp-analysis-single	16m 49s
mathcomp-reals	4m 16s
mathcomp-analysis	14m 29s
mathcomp-reals-stdlib	1m 39s
mathcomp-experimental-reals	2m 0s
mathcomp-analysis-stdlib	15m 46s
	1h 7m 7s

Provide feedback