1. Top
  2. mathematics_in_lean
  3. Commits
mathematics_in_lean

My solutions for this book

Commits at cfda59db3e060e409e59d813bb3b366e6026bf18

  1. cfda59db Update sam. 17 juin 2023 21:11:23 CEST Patrick Massot authored at Patrick Massot comitted at
  2. a1091d8e Update Thu, Jun 15, 2023 7:11:07 PM Jeremy Avigad authored at Jeremy Avigad comitted at
  3. 24319619 Update Fri Jun 9 09:44:34 PDT 2023 Jeremy Avigad authored at Jeremy Avigad comitted at
  4. f38ac68b Update Fri Jun 9 09:35:44 PDT 2023 Jeremy Avigad authored at Jeremy Avigad comitted at
  5. 01bfbf50 Update Wed Jun 7 07:25:39 PDT 2023 Jeremy Avigad authored at Jeremy Avigad comitted at
  6. 9c87a7cb Update Tue, Jun 6, 2023 6:35:47 PM Jeremy Avigad authored at Jeremy Avigad comitted at
  7. 988d4dff Update Mon Jun 5 16:04:24 PDT 2023 Jeremy Avigad authored at Jeremy Avigad comitted at
  8. 6c0e47b2 Update Mon Jun 5 09:25:12 PDT 2023 Jeremy Avigad authored at Jeremy Avigad comitted at
  9. 61f99a62 Update Mon Jun 5 09:16:18 PDT 2023 Jeremy Avigad authored at Jeremy Avigad comitted at
  10. e3465109 Update lun. 05 juin 2023 15:39:20 CEST Patrick Massot authored at Patrick Massot comitted at
  11. 2e14db9f Update lun. 05 juin 2023 07:09:10 CEST Patrick Massot authored at Patrick Massot comitted at
  12. f3109b5d Update Mon 29 May 2023 10:06:46 PM EDT Jeremy Avigad authored at Jeremy Avigad comitted at
  13. f78b56ef Update Mon 29 May 2023 09:51:11 PM EDT Jeremy Avigad authored at Jeremy Avigad comitted at
  14. 148a4031 initial commit Jeremy Avigad authored at Jeremy Avigad comitted at