| Age | Commit message (Expand) | 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 |
| 2025-05-22 | Oh oops it's = not == | Anthony Wang |
| 2025-05-22 | It's untyped | Anthony Wang |
| 2025-05-22 | Don't need type signature for sub | Anthony Wang |
| 2025-05-22 | Make it pretty | Anthony Wang |
| 2025-05-22 | Simple lambda calculus interpreter | Anthony Wang |
| 2025-05-22 | Lawful monad experiments | Anthony Wang |
| 2025-05-19 | Update Lean version | Anthony Wang |
| 2025-05-15 | A bit more progress | Anthony Wang |
| 2025-05-14 | OK almost done with the proof | Anthony Wang |
| 2025-05-14 | Add more random unfinished stuff | Anthony Wang |
| 2025-05-10 | Some random stuff I guess | Anthony Wang |
| 2025-05-09 | Remove extra dots | Anthony Wang |
| 2025-05-09 | Add testing code for Lean lazy infinite lists | Anthony Wang |
| 2025-05-06 | Nuke GitHub | Anthony Wang |
| 2025-05-06 | Reformat | Anthony Wang |
| 2025-04-29 | 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 |