| Age | Commit message (Expand) | 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 |
 |
index : leantest | |
| Random Lean experiments | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |