Extreme value theory and heavy-tailed probability in Lean 4: Fisher–Tippett–Gnedenko, regular variation, Karamata, Breiman
Lean Updated 8 days ago 1 commits 2 stars
surge-bot|Mirror: unbalancedparentheses/lean-extremevaluetheory (⭐2)
8 days agoAbout
Extreme value theory and heavy-tailed probability in Lean 4: Fisher–Tippett–Gnedenko, regular variation, Karamata, Breiman
Readme
2 stars
1 forks