Corrramcopula0.1.0

Finite-dimensional copulas, dependence orders, and rank correlations in Lean 4
#math #probability #copulas #dependence #mathlib
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.34.0

    The math library of Lean 4