near lemmas about derivation #1339

Job	Run time
coq	41s
mathcomp	41s
mathcomp-analysis-single	15m 34s
mathcomp-classical	3m 55s
mathcomp-reals	2m 17s
mathcomp-analysis	13m 6s
mathcomp-reals-stdlib	1m 26s
mathcomp-experimental-reals	1m 55s
mathcomp-analysis-stdlib	12m 59s
ssprove	21m 19s
	1h 13m 53s

Provide feedback