set of limit points is closed #39

Job	Run time
rocq-core	51s
coq	1m 1s
mathcomp	52s
mathcomp-classical	2m 55s
mathcomp-analysis-single	14m 34s
mathcomp-reals	4m 7s
mathcomp-analysis	12m 38s
mathcomp-reals-stdlib	1m 33s
mathcomp-experimental-reals	1m 53s
ssprove	18m 16s
mathcomp-analysis-stdlib	13m 30s
mathcomp-infotheo	7m 0s
	1h 19m 10s

Provide feedback