1. Top
  2. i-love-lean
  3. Commits
i-love-lean

Made using the best language ever!

Commits at main

  1. e419478f Add fcitx5-lean build Anthony Wang authored at Anthony Wang comitted at
  2. f9b501a5 Remove Coq stuff, add Lean cuisine Anthony Wang authored at Anthony Wang comitted at
  3. 0cf2ac1d Add grading meme Anthony Wang authored at Anthony Wang comitted at
  4. 5349c949 Add FBIP meme Anthony Wang authored at Anthony Wang comitted at
  5. 9d5098b1 Purge useless README Anthony Wang authored at Anthony Wang comitted at
  6. b9641b88 Remove stale memes, move CSS to own file, limit both width and height of images, add Coq-tan stuff Anthony Wang authored at Anthony Wang comitted at
  7. 9e912df9 Add FLT Dafny and Lean phone screenshots Anthony Wang authored at Anthony Wang comitted at
  8. 9b227f22 Oh oops forgot to add image Anthony Wang authored at Anthony Wang comitted at
  9. 5f7e54e7 FERMAT'S LAST THEOREM Anthony Wang authored at Anthony Wang comitted at
  10. d626b9e7 Please don't sue me Anthony Wang authored at Anthony Wang comitted at
  11. 834c1aa0 MORE MEEEEEMEEEEZ Anthony Wang authored at Anthony Wang comitted at
  12. 2d5ee296 DO NOT LEAN Anthony Wang authored at Anthony Wang comitted at
  13. 0ec5fad8 Add @ersei Lean meme Anthony Wang authored at Anthony Wang comitted at
  14. bb826498 MOAR MEMES Anthony Wang authored at Anthony Wang comitted at
  15. cf017928 Better code, better person Anthony Wang authored at Anthony Wang comitted at
  16. 2969dd6c More irony Anthony Wang authored at Anthony Wang comitted at
  17. b912284d Not sure why it's display:inline, that's kinda silly Anthony Wang authored at Anthony Wang comitted at
  18. c6b3fd23 Oops forgot to include images Anthony Wang authored at Anthony Wang comitted at
  19. f4a10780 MORE MEMES!!! Anthony Wang authored at Anthony Wang comitted at
  20. 12e534c1 Don't use CGI or lake Anthony Wang authored at Anthony Wang comitted at
  21. a169bef9 More Lean propaganda Anthony Wang authored at Anthony Wang comitted at
  22. 7fee84aa Fix typo Anthony Wang authored at Anthony Wang comitted at
  23. 91132145 Wait it should be text/html not text/plain Anthony Wang authored at Anthony Wang comitted at
  24. df554f6e Rewrite it in Lean Anthony Wang authored at Anthony Wang comitted at
  25. 62161ba5 Fix wording Anthony Wang authored at Anthony Wang comitted at
  26. 935eddd0 Add license because why not Anthony Wang authored at Anthony Wang comitted at
  27. 1fc34b4f LEAN FAN SITE Anthony Wang authored at Anthony Wang comitted at