1. Top
  2. evolution
  3. Commits
evolution

The evolution of a Lean programmer

Commits at dc79ca7fc5e547c5c1ebd9394131bdba28e0d35d

  1. 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
  2. 6dcc06d7 More fun with cat emojis Anthony Wang authored at Anthony Wang comitted at
  3. 6cdeba48 List.Perm is redundant Anthony Wang authored at Anthony Wang comitted at
  4. f13dc69c Don't need to abbrev when already @[simp]ed Anthony Wang authored at Anthony Wang comitted at
  5. 42eb7d85 Completely vibecoded solution, better golf, enlightened sort, make grind default tactic for SortedRange Anthony Wang authored at Anthony Wang comitted at
  6. f089fdc9 Don't need the names of invariant cases Anthony Wang authored at Anthony Wang comitted at
  7. 9ebe5846 Oh how could I forget about native_decide Anthony Wang authored at Anthony Wang comitted at
  8. a4b7906e Nuke README Anthony Wang authored at Anthony Wang comitted at
  9. 40e05cc5 Note that AristotleLemmas section is AI-generated Anthony Wang authored at Anthony Wang comitted at
  10. 7baa176d More consistency Anthony Wang authored at Anthony Wang comitted at
  11. ae0439d7 It's not that long... Anthony Wang authored at Anthony Wang comitted at
  12. b79c2fa7 Finished! Anthony Wang authored at Anthony Wang comitted at
  13. 9eaa66e2 Initial commit Anthony Wang authored at Anthony Wang comitted at