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

Made using the best language ever!

Commits at 0cf2ac1d78c039d0f23ac780069d9e30c0e7b85b

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