conformal-prediction 2.0.0

Conformal prediction with formal verification: CPD, PCP, streaming calibration, and Lean4 proofs