asneltFlashlight0.3.0

Lean 4 formalization of the flashlight transformation of copulas (Onken et al., PLoS Comput Biol 2009)
#math #copula #probability #measure-theory
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.34.1

    The math library of Lean 4