1. Top
  2. evolution
  3. Commits
evolution

The evolution of a Lean programmer

Commits at main

  1. c820aaeb Add Strata example Eh I'll hold back on updating the Lean version for now Anthony Wang authored at Anthony Wang comitted at
  2. 6355167b More style tweaks (last time I swear) Anthony Wang authored at Anthony Wang comitted at
  3. 1f8be8d0 Slight style tweaks Anthony Wang authored at Anthony Wang comitted at
  4. 0ae79b23 Add Velvet code example (which doesn't run since the Lean version here is too high but whatever) Anthony Wang authored at Anthony Wang comitted at
  5. d5586c20 Revert "Don't need to return in identity monad" This reverts commit 9baf7fc0daca8a230f11512125ef663a5d60f801. Anthony Wang authored at Anthony Wang comitted at
  6. 4749b919 Oh don't need to import Std apparently Anthony Wang authored at Anthony Wang comitted at
  7. 9baf7fc0 Don't need to return in identity monad Anthony Wang authored at Anthony Wang comitted at
  8. 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
  9. 6dcc06d7 More fun with cat emojis Anthony Wang authored at Anthony Wang comitted at
  10. 6cdeba48 List.Perm is redundant Anthony Wang authored at Anthony Wang comitted at
  11. f13dc69c Don't need to abbrev when already @[simp]ed Anthony Wang authored at Anthony Wang comitted at
  12. 42eb7d85 Completely vibecoded solution, better golf, enlightened sort, make grind default tactic for SortedRange Anthony Wang authored at Anthony Wang comitted at
  13. f089fdc9 Don't need the names of invariant cases Anthony Wang authored at Anthony Wang comitted at
  14. 9ebe5846 Oh how could I forget about native_decide Anthony Wang authored at Anthony Wang comitted at
  15. a4b7906e Nuke README Anthony Wang authored at Anthony Wang comitted at
  16. 40e05cc5 Note that AristotleLemmas section is AI-generated Anthony Wang authored at Anthony Wang comitted at
  17. 7baa176d More consistency Anthony Wang authored at Anthony Wang comitted at
  18. ae0439d7 It's not that long... Anthony Wang authored at Anthony Wang comitted at
  19. b79c2fa7 Finished! Anthony Wang authored at Anthony Wang comitted at
  20. 9eaa66e2 Initial commit Anthony Wang authored at Anthony Wang comitted at