Add a RealsE multirule #4943

Job	Run time
rocq-elpi	1m 15s
rocq-core	1m 0s
coq	58s
coq-elpi	1m 18s
stdlib	57s
mathcomp-bigenough	1m 48s
mathcomp-finmap	1m 54s
hierarchy-builder	0s
mathcomp	0s
mathcomp-classical	0s
mathcomp-analysis-single	0s
mathcomp-reals	0s
mathcomp-analysis	0s
mathcomp-reals-stdlib	0s
mathcomp-experimental-reals	0s
mathcomp-analysis-stdlib	0s
rocq-elpi	1m 34s
coq-elpi	1m 38s
mathcomp-finmap	3m 5s
mathcomp-bigenough	3m 6s
rocq-core	1m 0s
coq	58s
stdlib	57s
hierarchy-builder	1m 8s
mathcomp	13m 45s
mathcomp-classical	9m 45s
mathcomp-analysis-single	28m 49s
mathcomp-reals	2m 25s
mathcomp-experimental-reals	1m 58s
mathcomp-reals-stdlib	48s
mathcomp-analysis	15m 53s
mathcomp-analysis-stdlib	0s
rocq-core	1m 0s
stdlib	57s
coq	58s
coq-elpi	1m 38s
mathcomp-bigenough	3m 6s
mathcomp-analysis-single	28m 49s
hierarchy-builder	1m 8s
mathcomp	13m 45s
mathcomp-finmap	3m 5s
mathcomp-reals	2m 25s
mathcomp-classical	9m 45s
mathcomp-reals-stdlib	1m 42s
mathcomp-analysis	15m 53s
mathcomp-experimental-reals	1m 58s
rocq-elpi	1m 34s
mathcomp-analysis-stdlib	16m 29s
	3h 20m 11s

Provide feedback