mathematics_in_lean

My solutions for this book

Update ven. 27 sept. 2024 15:36:42 CEST

Changes

29 changed files (+4065/-4184)