1. Top
  2. mathematics_in_lean
  3. Commits
mathematics_in_lean

My solutions for this book

Commits at 97a1738cf4ab3c12eb077ddeb95fa69f39931297

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