sigma-algebra generated by a function #52

Job	Run time
rocq-core	52s
coq	56s
mathcomp	48s
mathcomp-classical	2m 46s
mathcomp-analysis-single	14m 57s
mathcomp-reals	2m 5s
mathcomp-experimental-reals	4m 30s
mathcomp-reals-stdlib	4m 14s
mathcomp-analysis	15m 24s
ssprove	18m 25s
mathcomp-analysis-stdlib	13m 27s
mathcomp-infotheo	6m 58s
	1h 25m 22s

Provide feedback