GitHub repository: kkytola/ExtremeValueProject
Primary language: Lean
Created: 2025-04-13T18:39:51Z
Description: A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)