name = "LossCurveConcentration"
version = "0.1.0"
defaultTargets = ["LossCurveConcentration"]

[[lean_lib]]
name = "LossCurveConcentration"

[[require]]
name = "mathlib"
git = "https://github.com/leanprover-community/mathlib4.git"
rev = "v4.29.1"
