`littleoE0` #947

Job	Run time
rocq-core	44s
coq	42s
mathcomp-analysis-single	13m 29s
mathcomp-classical	2m 51s
mathcomp-reals	2m 1s
mathcomp-experimental-reals	1m 44s
mathcomp-analysis	12m 9s
mathcomp-reals-stdlib	1m 23s
mathcomp-analysis-stdlib	1m 31s
ssprove	5m 33s
	42m 7s

Provide feedback