set of limit points is closed #56

Job	Run time
rocq-core	55s
mathcomp	52s
coq	52s
mathcomp-classical	3m 19s
mathcomp-analysis-single	14m 57s
mathcomp-reals	1m 58s
mathcomp-experimental-reals	4m 38s
mathcomp-analysis	15m 27s
mathcomp-reals-stdlib	1m 36s
mathcomp-analysis-stdlib	2m 22s
ssprove	18m 30s
mathcomp-infotheo	7m 5s
	1h 12m 31s

Provide feedback