Progress
1 proved · 0 stated · 24 remaining of 25. 0 in Mathlib. 0 not ready.
Builds
| date | proved | stated | remaining | sorry | build |
|---|---|---|---|---|---|
| 2026-08-12 | 1 | 0 | 24 | 0 | unrecorded |
| 2026-08-12 | 1 | 0 | 24 | 0 | 771d45c |
Milestones
| milestone | done |
|---|---|
| M1 Gamma additivity | 0/1 |
| M2 Chi-squared basics | 0/3 |
| M3 Gaussian vector toolkit | 0/5 |
| M4 Cochran | 0/2 |
| M5 Student’s t | 0/2 |
| M6 OLS inference | 0/6 |
build 771d45c · mathlib 8f9d9cf · sorry 0 · 2026-08-12 · home