Repository navigation

relation between pmf and distribution for dRV #304

Job	Run time
rocq-core	1m 24s
mathcomp	1m 24s
mathcomp-analysis-single	21m 23s
mathcomp-classical	3m 49s
coq	1m 22s
coquelicot	1m 8s
interval	1m 25s
mathcomp-reals	2m 33s
mathcomp-analysis	18m 30s
mathcomp-reals-stdlib	2m 1s
mathcomp-experimental-reals	2m 27s
mathcomp-analysis-stdlib	2m 6s
mathcomp-infotheo	8m 52s
	1h 8m 24s