| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Slight cleanup | Anthony Wang | 5 weeks | |
| Age | Commit message | Author | ||
| 2025-05-25 | Slight cleanupHEADmaster | Anthony Wang | ||
| 2025-05-25 | YAYAYAYAYAYYAYYY | Anthony Wang | ||
| 2025-05-25 | Only 1 sorry remains!! | Anthony Wang | ||
| 2025-05-25 | Use ceil instead of floor | Anthony Wang | ||
| 2025-05-25 | Only 3 sorry's remaining | Anthony Wang | ||
| 2025-05-24 | Nearly nearly done | Anthony Wang | ||
| 2025-05-24 | Nearly done with proof | Anthony Wang | ||
| 2025-05-24 | Almost done with double sum proof | Anthony Wang | ||
| 2025-05-24 | Random doc examples | Anthony Wang | ||
| 2025-05-22 | Format it nicer | Anthony Wang | ||
| [...] | ||||
| Clone | ||||
| https://git.unnamed.website/leantest | ||||
 |
index : leantest | |
| Random Lean experiments | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |