1. Top
  2. evolution
  3. Commits
evolution

The evolution of a Lean programmer

Commits at 4749b9192a327dd502803e1d1274d87eff55d8fa

  1. 4749b919 Oh don't need to import Std apparently Anthony Wang authored at Anthony Wang comitted at
  2. 9baf7fc0 Don't need to return in identity monad Anthony Wang authored at Anthony Wang comitted at
  3. dc79ca7f Add CC BY-SA license It's a bit weird to license code using that but it's the exact same code (well, nearly) as my blog post which is under CC BY-SA Anthony Wang authored at Anthony Wang comitted at
  4. 6dcc06d7 More fun with cat emojis Anthony Wang authored at Anthony Wang comitted at
  5. 6cdeba48 List.Perm is redundant Anthony Wang authored at Anthony Wang comitted at
  6. f13dc69c Don't need to abbrev when already @[simp]ed Anthony Wang authored at Anthony Wang comitted at
  7. 42eb7d85 Completely vibecoded solution, better golf, enlightened sort, make grind default tactic for SortedRange Anthony Wang authored at Anthony Wang comitted at
  8. f089fdc9 Don't need the names of invariant cases Anthony Wang authored at Anthony Wang comitted at
  9. 9ebe5846 Oh how could I forget about native_decide Anthony Wang authored at Anthony Wang comitted at
  10. a4b7906e Nuke README Anthony Wang authored at Anthony Wang comitted at
  11. 40e05cc5 Note that AristotleLemmas section is AI-generated Anthony Wang authored at Anthony Wang comitted at
  12. 7baa176d More consistency Anthony Wang authored at Anthony Wang comitted at
  13. ae0439d7 It's not that long... Anthony Wang authored at Anthony Wang comitted at
  14. b79c2fa7 Finished! Anthony Wang authored at Anthony Wang comitted at
  15. 9eaa66e2 Initial commit Anthony Wang authored at Anthony Wang comitted at