Experimenting with a generic sup interface #1323

Job	Run time
rocq-core	1m 4s
coq	1m 2s
mathcomp-classical	2m 45s
mathcomp-analysis-single	14m 30s
mathcomp-reals	1m 2s
mathcomp-analysis	12m 38s
mathcomp-experimental-reals	2m 15s
mathcomp-reals-stdlib	59s
ssprove	5m 59s
mathcomp-analysis-stdlib	1m 10s
mathcomp-infotheo	6m 55s
	50m 19s

Provide feedback