1. Top
  2. mathematics_in_lean
  3. Commits
mathematics_in_lean

My solutions for this book

Commits at main

  1. b54c13f7 Update Lean version, fix some compilation failures Anthony Wang authored at Anthony Wang comitted at
  2. 7811e298 Update to Lean v4.23.0 Anthony Wang authored at Anthony Wang comitted at
  3. 97a1738c Bump Lean and mathlib version Anthony Wang authored at Anthony Wang comitted at
  4. 55859ed8 Mostly finished reading the book Anthony Wang authored at Anthony Wang comitted at
  5. f035f7fd Did another annoying exercise Anthony Wang authored at Anthony Wang comitted at
  6. 22943e27 Finished filters section, use stable toolchain since there's probably no good reason to use the rc Anthony Wang authored at Anthony Wang comitted at
  7. 7b895575 FINALLY finish groups section Anthony Wang authored at Anthony Wang comitted at
  8. 3ce80160 Mostly finished the first half of the book Anthony Wang authored at Anthony Wang comitted at
  9. d26abc30 Mostly finish all the NT stuff so I can finally start the fun stuff! Anthony Wang authored at Anthony Wang comitted at
  10. c8c63aad Solve some more random stuff Anthony Wang authored at Anthony Wang comitted at
  11. 0b1dc766 Use beta Lean for better grind, solve a few sections Anthony Wang authored at Anthony Wang comitted at
  12. 665ee238 Do the first 3 chapters Anthony Wang authored at Anthony Wang comitted at
  13. 2bf0e10d Update sam. 09 août 2025 00:28:10 CEST Patrick Massot authored at Patrick Massot comitted at
  14. f614884c Update jeu. 10 juil. 2025 22:36:31 CEST Patrick Massot authored at Patrick Massot comitted at
  15. d356c01f Update jeu. 10 juil. 2025 22:33:59 CEST Patrick Massot authored at Patrick Massot comitted at
  16. 90750901 Update Tue Jun 3 12:17:46 PM EDT 2025 Jeremy Avigad authored at Jeremy Avigad comitted at
  17. 6db6c060 Update mar. 06 mai 2025 01:59:45 CEST Patrick Massot authored at Patrick Massot comitted at
  18. 73638059 Update ven. 25 avril 2025 05:14:47 CEST Patrick Massot authored at Patrick Massot comitted at
  19. d8c1820a Update dim. 30 mars 2025 17:20:54 CEST Patrick Massot authored at Patrick Massot comitted at
  20. bca34eca Update dim. 30 mars 2025 17:10:34 CEST Patrick Massot authored at Patrick Massot comitted at
  21. c3246901 Update dim. 30 mars 2025 16:59:51 CEST Patrick Massot authored at Patrick Massot comitted at
  22. d7e1eb1b Update dim. 30 mars 2025 16:44:24 CEST Patrick Massot authored at Patrick Massot comitted at
  23. 89966ce6 Update dim. 30 mars 2025 16:35:59 CEST Patrick Massot authored at Patrick Massot comitted at
  24. 2b20cdb3 Update dim. 30 mars 2025 16:20:02 CEST Patrick Massot authored at Patrick Massot comitted at
  25. 9fbbbce0 Update lun. 03 mars 2025 18:07:53 CET Patrick Massot authored at Patrick Massot comitted at
  26. 80765b6c Update ven. 21 févr. 2025 16:29:19 CET Patrick Massot authored at Patrick Massot comitted at
  27. 73a7caaa Update ven. 21 févr. 2025 16:07:32 CET Patrick Massot authored at Patrick Massot comitted at
  28. 774791cc Update Thu Feb 13 08:37:14 PM EST 2025 Jeremy Avigad authored at Jeremy Avigad comitted at
  29. 6b1fef67 Update ven. 14 févr. 2025 00:08:41 CET Patrick Massot authored at Patrick Massot comitted at
  30. 3d0b4e4f Update jeu. 13 févr. 2025 11:27:18 CET Patrick Massot authored at Patrick Massot comitted at