| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Some random stuff I guess | Anthony Wang | 28 hours | |
| Age | Commit message | Author | ||
| 28 hours | Some random stuff I guessHEADmaster | Anthony Wang | ||
| 2 days | Remove extra dots | Anthony Wang | ||
| 3 days | Add testing code for Lean lazy infinite lists | Anthony Wang | ||
| 5 days | Nuke GitHub | Anthony Wang | ||
| 5 days | Reformat | Anthony Wang | ||
| 13 days | Implement my standard GCD program in Lean and it's so nice yay | Anthony Wang | ||
| 2025-04-23 | Clean up proof of lsb stuff | Anthony Wang | ||
| 2025-04-23 | Add everything | Anthony Wang | ||
| 2025-04-19 | Initial commit | Anthony Wang | ||
| Clone | ||||
| https://git.unnamed.website/leantest | ||||
 |
index : leantest | |
| Random Lean experiments | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |