1. Top
  2. mathematics_in_lean
  3. Commits
mathematics_in_lean

My solutions for this book

Commits at 7811e298088e527f4ceb694aaec05333750df1a0

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